The YAP Library¶

Describes a number of useful modules.

• SICStus compatible socket library

• List Predicates in the Prolog Library

• Co-induction

• QuintusArgs

• Weighted Undirected Graphs

• Weighted Graphs

• Weighted Directed Graphs

• Variabilize term.

• Undirected Graphs

• Unweighted Graphs

• Trie DataStructure

• Updatable Binary Trees

• Calls With Timeout

• Utilities On Terms

• Operating System Functionality

• Splay Trees

• Range-List (RL) trees

• Interface to a regular expression interpreter

• Reading Lines and Files

• Red-Black Trees

• Pseudo Random Number Integer Generator

• Random Number Generator

• Queues

• Automating test generation

• Ordered Sets

• occur check support

• Non-Backtrackable Data Structures

• Interface

• Matrix Operations in YAP.

• YAP MATLAB Package Interface

• Map List and Term Operations

• Apply a predicate to all arguments of a term

• Log Output of Tests in Markdown format.

• Line Manipulation Utilities

• expressions

• Heaps

• Generate a new symbol.

• Flag Manipulation in Prolog

• Exo Intervals

• Directed Graphs

• Memory Usage in Prolog Data-Base

• Non-backtrackable queues in YAP.

• Clause Manipulation

• Operations on Sequences of Codes.

• Concurrent Alarms

• Block Diagram

• Backtrackable Hash Tables

• AVL Trees

• SWI-Like autoloader

• Association Maps

• Extend @ref argU2fU_3 "arg//3"3 with backtracking.

• Apply Interface to maplist

• Yap PreProcessing

The module supports the library_directory path (set by the LIBDIR variable in the Makefile for YAP). Several files in the library are originally from the public-domain Edinburgh Prolog library.