Module predicate_modules 

Built-in predicate modules and the predicate module system.

Modules

maths

Built-in maths predicates (is/2).

meta_predicates

Built-in meta-predicates (not/1).

Enums

PredReturn

Return type for predicate functions.

Statics

MATHS

Built-in maths predicates: is/2 for arithmetic evaluation.

META_PREDICATES

Built-in meta-predicates: not/1 (negation as failure).

Functions

load_all_modules

Load all built-in predicate modules into the predicate table.

load_predicate_module

Register all entries from a predicate module into the predicate table.

Type Aliases

PredicateFunction

Signature for a predicate function.

PredicateModule

A predicate module: a static slice of (name, arity, function) entries.