XSB

A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and ...

6.10 All Solutions and Aggregate Predicates

6.10 All Solutions and Aggregate Predicates. ... Next: 6.10.1 Tabling Aggregate Predicates Up: 6. Standard Predicates Previous: 6.9 Manipulation of Atomic ...

6.1.5 Term I/O

6.1.5 Term I/O. ... 6.1.5 Term I/O. read(?Term): ISO A HiLog term is read from the current or designated input stream, and unified with Term according to ...

3.1 C Functions for Calling XSB

3.1 C Functions for Calling XSB. ... Next: 3.2 The Variable-length String Up: 3. Calling XSB from Previous: 3. Calling XSB from Contents Index ...

3.2 The Variable-length String Data Type

3.2 The Variable-length String Data Type. ... Next: 3.3 Passing Data into Up: 3. Calling XSB from Previous: 3.1 C Functions for Contents Index ...

6.1.4 Character I/O

6.1.4 Character I/O. ... 6.1.4 Character I/O. nl: ISO A new line character is sent to the current output stream. nl(+Stream): ISO ...

The XSB System Version 3.0 Volume 1: Programmer's Manual

The XSB System Version 3.0 Volume 1: Programmer's Manual.

10.2.1 Definite Clause Grammars and Tabling

10.2.1 Definite Clause Grammars and Tabling. ... Next: 10.3 Definite Clause Grammar Up: 10.2 Translation of Definite Previous: 10.2 Translation of Definite ...

3.4 The Module System of XSB

3.4 The Module System of XSB. ... Next: Usage inference and the Up: 3. System Description Previous: 3.3 File Names and Contents Index ...

2.2.3 Exchanging Complex Data Types

2.2.3 Exchanging Complex Data Types. ... Next: 2.3 Foreign Modules That Up: 2.2 Lower-Level Foreign Language Previous: 2.2.2 Exchanging Basic Data Contents ...