[Previous] [Up] [Next]
Go backward to Input, Output and Control Features
Go up to Top
Go forward to Unbounded Dependencies

More About Prolog


  • Introduction
  • Term Checking
  • Term Manipulation
  • Using a Term in an Argument as a Goal
  • Constructing and Deconstructing Terms
  • Arithmetics
  • Operators
  • Introduction
  • Declaring Operators
  • Predefined Operators
  • Rewriting Programs Dynamically
  • The DCG Test Program

  • <a.von.klopp@bangor.ac.uk>

    [Previous] [Up] [Next]