YAP Extensions

Detailed Description

YAP includes a number of extensions over the original Prolog language

• Attributed Variables, that includes support for predicate
• Rational Trees
• Depth Limited Search
• Tabling
• Threads
• Profiling Prolog Programs
• Named Arrays
• Parallelism in YAP
• Dialects Also see for an (out-of-date) discussion

Modules
	Named Arrays
	The YAP system includes experimental support for arrays.
	Global Variables
	Global variables are associations between names (atoms) and terms.
	Rational Trees
	Prolog unification is not a complete implementation.
	Attributed Variables
	Android Support