YAP Supported Extensions to Prolog¶

Describes major changes to the original Prolog engine.

• User Defined YapExtensions

• Support for Attributed Variables

• Parallelism in YAP

• An implementation of range lists for YAP

• Or-Parallelism

• Threads

• Tabling

• Extended Abstract Machine

• Depth Limited Search

• Profiling Prolog Programs

• Android Support

• Rational Trees

• Term Modification

• Global Variables