DyALog

• Introduction
• Notational conventions
• Installation
  • Obtaining DyALog
  • Supported Machines
  • Installation
    • Configuring DyALog
    • Installing DyALog
• Using DyALog
  • Dyacc
  • Dyalog
  • Dyam2asm
  • DyALog executables
  • An example
• Behind the screen
  • LPDA
  • Dynamic Programming
  • Compilation Process
    • From programs to LPDA
    • From LPDA to Abstract Machine Code
    • Emitting C code
  • Execution
• Syntax
  • Terms
    • Standard terms
    • Immediate unification
    • Operators
    • Feature Terms
    • Enumeration variables
    • Hilog terms
  • Programs
    • Clauses
    • Definite Clause Grammars
    • Directives
• Built-In Predicates
  • Input / Output
    • Reading-in Programs
    • Input and Output of Terms
    • Character Input/Output
    • Stream IO
    • Socket IO
    • DEC-10 Prolog File IO
  • Arithmetic
  • Comparison of Terms
  • Control
  • Error and Exception Handling
  • Information about the State of the Program
  • Meta-Logic
  • Modification of the Program
  • Internal Database
  • All Solutions
  • Debugging
  • Execution Profiling
  • Definite Clause Grammars
  • Miscellaneous
• Directives
  • General Directives
  • Compiler Directives
  • Directive Files
• Typed Feature Structures
• Tree Adjoining Grammars
• Range Concatenation Grammars
• Standard Operators
• Index of Built-Ins
• Concept Index

This document was generated on 23 February 2004 using texi2html 1.56k.