Module ugraphs - Scryer Prolog documentation
top_sort (+Graph, -Sorted) is semidet. Sorted is a topological sorted list of nodes in Graph. A toplogical sort is possible if the graph is connected and acyclic. In the example we show how topological …
Module ordsets - Scryer Prolog documentation
Jun 18, 2026 · Scryer Prolog documentation and learning resources
Module atts - Scryer Prolog documentation
Apr 27, 2026 · Scryer Prolog documentation and learning resources
Scryer Prolog
Scryer Prolog is a free software ISO Prolog system intended to be an industrial strength production environment and a testbed for bleeding edge research in logic and constraint programming.
Module debug - Scryer Prolog documentation
Feb 9, 2026 · Scryer Prolog documentation and learning resources This library provides three predicates with associated operators. The operators can be placed in front of goals to debug Prolog programs.
Module diag - Scryer Prolog documentation
May 25, 2026 · inlined_instructions/2 decompiles predicates at the code offset in its first argument.
Let's play Brisca - Learning docs of Scryer Prolog
3 days ago · Scryer Prolog documentation and learning resources
Module tls - Scryer Prolog documentation
Scryer Prolog documentation and learning resources Libraries arithmetic assoc atts between builtins charsio clpb clpz cont crypto csv dcgs debug diag dif error ffi ...