The files in the library directory have common useful predicates. Some of these files are from the Edinburgh DEC-10 Prolog as found at http://www.j-paine.org/prolog/library.html

From Edinburgh DEC-10 library.

• between(+L, +U, ?N): True for all integers N between L (lower) and U (upper). If N is unbound on evaluation then it is generated in order from L to U (repeating on failure).

• gen_arg(?N, +Term, ?Arg): is exactly like arg(N, Term, Arg), except that it will generate solutions for N by backtracking (will work when N is a variable).

Originally by R O'Keefe.

• gen_nat(+X): True if X is a natural number, false otherwise

• gen_nat(-X): Instantiates X to 0, then 1, 2, 3, 4...

• gen_nat(+L,-N): Instantiates N to L, then L+1, L+2...

• gen_nat(+L,+N): True if N >= L

• gen_nat(-L,+N): ** Succeeds with L = N , then LOOPS **

• gen_int(-X) Instantiates X to 0, then 1, -1, 2, -2, 3, -3...

The data predicate system supports storing instances of a type of data where each instance has a collection of attributes. The data is stored as assertions of the form _(ID, Value). The data_predicate file contains predicates to manage creating these dynamic predicates from a specification and predicates to add an instance with attribute values to a defined type.

set_dom_name_path_value/2: set the value associated with HTML nodes that satisfy the given node name path. A path is a list of names where each name is a list of character codes. The nodes on the path may not be sequential (i.e. have a direct parent-child relationship).

From Edinburgh DEC-10 library.

• correspond/4
• delete/3
• last/2
• nextto/3
• nmember/3
• nmembers/3
• nth0/3
• nth0/4
• nth1/3
• nth1/4
• numlist/3
• perm/2
• perm2/4
• remove_dups/2
• rev/2
• reverse/2
• same_length/2
• select/4
• shorter_list/2
• subseq/3
• subseq0/2
• subseq1/2
• sumlist/2

Additional list utility predicates created for ProscriptLS.

• select_list/4
• contains_list/2
• split_list/4
• lowercase/2
• uppercase/2

Defines a simple syntax for working with the DOM Web API interfaces. The main operator is '>>'. The first argument is an object and the second argument is a list of property get/set operations, methods, or goals to apply to that object. For instance to reference the HTMLCanvasElement with id 'canvas' and get the 2D context for that element: Canvas >> [id -:> canvas, getContext('2d') *:> Ctx].

From Edinburgh DEC-10 library.

• add_element/3
• del_element/3
• disjoint/1
• disjoint/2
• intersect/2
• intersect/3
• listtoset/2
• memberchk/2
• nonmember/2
• pairfrom/4
• select/3
• seteq/2
• subset/2
• subtract/3
• symdiff/3
• union/3