swipl-devel
swipl-devel copied to clipboard
DOC: 4.1.3 Determinism, 4.5 Type verifications, 4.7 the "\+"
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.