Folder "common"
This folder contains mainly libraries that cover data structures
and logic constructs. Many of the libraries are common to other
Prolog systems.
- File "compat": This file provides compatibility
predicates. This file also introduces higher order logic
programming. More...
- File "sets": This file provides persistent sets. More...
- File "math": This Prolog text provides further
built-ins for numbers. More...
- File "lists": This file provides persistent lists. More...
- File "hiord": This Prolog text provides higher order
logic programming. More...
- File "cyclic": Additional predicates to detect
respectively produce acyclic terms. More...