Data-Base Component of YAP interface.¶

These classes define the main data-structures stored to represent compiled programs:

• YAPFunctor represents a name/arity combination.

• YAPModule wraps the YAP module implementation.

• YAPPredicate and subclasses store the actual program, Preliminary support covers Prolog and C-defined predicates.

• Predicates

• YAPFLIP
• YAPPrologPredicate
• YAPPredicate
• YAPModule