Module swipl::predicate

source ·
Expand description

Prolog predicates.

A prolog predicate is a core datatype in prolog. It is a combination of a functor and a module. Just like functors and modules, predicates are not reference-counted and are never garbage collected.

This module provides functors and types for intearcting with prolog predicates.

Structs