Core Prolog YAP¶

The main core features of the Prolog engine.

• Top-Level and Boot Predicates

• Term Manipulation

• Diverse Utilities

• System Status

• Sorting Lists

• Collecting Solutions to a Goal

• The Clausal Data Base

• Defining operators

• list predicates in a module

• Access to YAP internal data-structures

• Grammar Rules

• Control Predicates

• Arithmetic in YAP

• Prolog Flags

• The Internal Data Base

• Copying Terms

• The Blackboard

• Predicates on Text

• YAP support for InputOutput

• dynamic/1