-
ISO Prolog
-
-
lib/ISO/corelib.typ
- Meta definitions for ISO
Prolog. Included from lib/ISO/stdlib.typ.
- lib/ISO/stdlib.typ
- Standard type library for ISO Prolog.
- GNU Prolog
-
-
lib/gprolog/corelib.typ
- Meta definitions for GNU
Prolog. Included from lib/gprolog/stdlib.typ
- lib/gprolog/stdlib.typ
- Standard type library for GNU Prolog.
- SICStus Prolog
-
-
lib/sicstus/corelib.typ
- Meta definitions for SICStus
Prolog. Included from lib/sicstus/stdlib.typ
- lib/sicstus/stdlib.typ
- Standard type library for SICStus Prolog.
- lib/sicstus/prolog.typ
- Internal type library for SICStus
Prolog. You need this one for predicates used with the prolog:predicate(...) prefix.
- lib/sicstus/arrays.typ
- types for SICStus module arrays
- lib/sicstus/assoc.typ
- types for SICStus module assoc
- lib/sicstus/attributes.typ
- types for SICStus module atts
- lib/sicstus/bdb.typ
- types for SICStus module bdb
- lib/sicstus/charsio.typ
- types for SICStus module charsio
- lib/sicstus/chr.typ
- types for SICStus module chr
implementing the CHR extension. It contains meta definitions to
handle the solver definitions (e.g. '<=>'/2).
- lib/sicstus/clpb.typ
- types for SICStus module clpb
implementing the CLP(B) extension
- lib/sicstus/clpfd.typ
- types for SICStus module clpfd
implementing the CLP(FD) extension. It contains meta déclarations to
handle contraints definitions (e.g. ':+'/2).
- lib/sicstus/clpq.typ, lib/sicstus/clpr.typ and lib/sicstus/clpqr.typ
- types for SICStus modules clpr, clpq and
clpqr implementing extension CLP(Q) and CLP(R).
- lib/sicstus/fastrw.typ
- types for SICStus module fastrw
- lib/sicstus/heaps.typ
- types for SICStus module heaps
- lib/sicstus/jasper.typ
- types for SICStus module jasper
- lib/sicstus/linda.typ
- types for SICStus module linda
- lib/sicstus/lists.typ
- types for SICStus module lists
- lib/sicstus/ordsets.typ
- types for SICStus module ordsets
- lib/sicstus/queues.typ
- types for SICStus module queues
- lib/sicstus/random.typ
- types for SICStus module random
- lib/sicstus/sockets.typ
- types for SICStus module sockets
- lib/sicstus/system.typ
- types for SICStus module system
- lib/sicstus/terms.typ
- types for SICStus module terms
- lib/sicstus/timeout.typ
- types for SICStus module timeout
- lib/sicstus/trees.typ
- types for SICStus module trees
- lib/sicstus/ugraphs.typ
- types for SICStus module ugraphs
- lib/sicstus/user.typ
- types for SICStus module user
- lib/sicstus/wgraphs.typ
- types for SICStus module wgraphs