New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

DOC: 4.1.3 Determinism, 4.5 Type verifications, 4.7 the "\+" #770

Open

dtonhofer wants to merge 2 commits into SWI-Prolog:master from dtonhofer:docs_20200214

Contributor

dtonhofer commented Jan 14, 2021

More documentation updates (i'm working through my notes here)

In 4.1.3 Predicate behaviour and determinism

Extended the list of indicators according to "pldoc" (also, put them into a "table")
Clarification of vocabulary regarding "leaving no choicepoint" and "well-behavedness"
Added an example with member/2.

In 4.5 Verify Type of Term

Reviewed the whole section

In 4.7 Control Predicates*

A reviewed +

P.S.

Is there a way to linkify references to libraries? \pllib{error} just generates the text library(error) but doesn't transform it into an URL.

dtonhofer added 2 commits

January 14, 2021 23:44


          DOC: 4.1.3 Determinism, 4.5 Type verifications, 4.7 the "\+"

0c44707


          DOC: Updated \+

58d25c1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment