Module built_in_predicates

Functions to support built-in predicates.

Built-in predicates, such as append() and print(), are a kind of goal.

Structs

BuiltInPredicate

Defines built-in predicates, such as print(), append(), etc.

Functions

format_built_in

Formats a built-in predicate (or function) for Display.

next_solution_bip

Finds solutions for built-in predicates.