Previous Up
B TCLP .typ files
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

Previous Up