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
- A wrapper for a prolog predicate.