Module types 

Auto-generated module

🤖 Generated with SplitRS

Structs

DcgRule

A DCG (Definite Clause Grammar) rule: lhs --> rhs.

PrologArith

Build an arithmetic expression for use in X is Expr.

PrologAssertionBuilder

Build dynamic database manipulation sequences.

PrologBackend

The Prolog code generation backend.

PrologBackendOptions

Configuration options for the Prolog backend.

PrologClause

A Prolog clause: either a fact Head. or a rule Head :- Body.

PrologClauseBuilder

Fluent builder for PrologClause.

PrologConstraints

Build CLP(FD) constraint goals for SWI-Prolog.

PrologDCGBuilder

Fluent builder for DcgRule.

PrologMetaPredicates

Standard higher-order predicates in Prolog.

PrologModule

A complete Prolog source module (maps to a .pl file).

PrologModuleBuilder

Fluent builder for PrologModule.

PrologPredicate

A Prolog predicate: a collection of clauses sharing the same functor/arity.

PrologPredicateBuilder

Fluent builder for PrologPredicate.

PrologSnippets

Generate complete snippets of common Prolog predicates.

PrologTypeSig

A plDoc-style predicate type signature.

Enums

DcgRhs

Right-hand side element of a DCG rule.

PrologDirective

A top-level Prolog directive :- Goal.

PrologItem

An item at the top level of a Prolog source file.

PrologMode

Prolog argument mode.

PrologTerm

A Prolog term (the universal data structure in Prolog).

PrologType

Prolog type descriptor for plDoc-style type checking.