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

 
• Contents
• Preface
• A first Prolog session
  • Calling and exiting Prolog
  • A first Prolog query
  • A short Prolog example
  • Modifying a database with an editor
  • Extending the database in a Prolog dialog
  • Modifying the database in a Prolog dialog
  • Storing clauses in a file
• Database and procedure execution
  • Clauses
  • Predicates
  • Database
  • Unification
  • Procedure execution
  • Procedural predicates
• The Prolog system
  • Organization of the Prolog system
  • Querying information about the system
  • Environment variables
  • Interfaces of the Prolog system
• The input/output interface
  • Input/output in the Prolog top-level dialog
  • Elementary input/output in Prolog
  • Working with files
  • Process management and communication
• The Prolog grammar rules
  • Context-free grammar
  • Simple grammar rules
  • Additional arguments
  • Explicit Prolog goals
  • Syntax of the production rules
• The Prolog module concept
  • Modules
  • Module objects
  • Module interface
  • The module body
  • Compiling and loading files
• Contexts
  • Context jumps
  • Exceptions
  • Signals
• Debugging
  • Debugger settings
  • The Tracer
  • Interactive debugger
  • Debugging with the alphanumeric user interface
  • Debugging under the OSF/Motif user interface
  • Summary tables of debugger commands
• The C interface
  • Active C interface
  • Passive C interface
  • C device drivers
  • Linking Prolog and C
• Graphical User Interface for MS-Windows
  • The IF/Prolog Graphical User Interface
  • IF/Prolog Main Window Menu Bar
  • Main Window Toolbars
  • Prolog Console with Scrollbars
  • Status Bar
  • Database Browser
  • Options Dialog
  • Debugger Support
  • Linking Custom IF/Prolog Applications
• Preparing Prolog applications for marketing
• ASCII table
• Glossary
• References
• Index