[Contents] [Top] [Help] [(c)] [Contact]

 
• Contents
• Introduction
• Reference section on commands
• Overview by functionality of predicates
• Reference section for the predefined predicates
• Overview by functionality of debugger commands
• Reference section on debugger commands
• Overview by functionality of C interface
• Reference section on C functions
• Prolog syntax
  • Basic Prolog elements
  • Terms
    • Constants
    • Variables
    • Structures
  • Operators
    • Converting expressions into equivalent normal structures
    • List of built-in operators
    • Test and definition predicates
  • Arithmetic expressions and functions
  • Prolog text
• ISO Standard Directives and Predicates
• ASCII table
• Glossary
• References
• Index