# Packages
Package terms contains utilities for manipulating Prolog terms.
# Functions
IsFailure returns true if the given error is a failed query error (ErrFailure).
Marshal returns the Prolog text representation of term.
New creates a new Prolog interpreter.
NewPool creates a new pool with the given options.
WithBind binds the given variable to the given term.
WithBinding binds a map of variables to terms.
WithDebugLog writes debug messages to the given logger.
WithLibraryPath sets the global library path for the interpreter.
WithMapDir sets alias to point to directory dir, granting access to it.
WithMapFS sets alias to point to [fs.FS] dir, granting access to it.
WithMaxConcurrency sets the maximum number of simultaneously running queries.
WithPoolPrologOption configures interpreter options for the instances of a Pool.
WithPoolSize configures the size (number of replicas) of the Pool.
WithPreopenDir sets the root directory (also called the preopen directory) to dir, granting access to it.
WithQuiet enables the quiet option.
WithStderrLog sets the standard error logger, writing all stderr input from queries.
WithStdoutLog sets the standard output logger, writing all stdout input from queries.
WithTrace enables tracing for all queries.
# Structs
Answer is a query result.
Compound is a Prolog compound type.
ErrFailure is returned when a query fails (when it finds no solutions).
ErrThrow is returned when an exception is thrown during a query.
Pool is a pool of Prolog interpreters that distributes read requests to replicas.
No description provided by the author
Variable is an unbound Prolog variable.
# Type aliases
Atom is a Prolog atom.
NondetPredicate works similarly to [Predicate], but can create multiple choice points.
Option is an optional parameter for New.
PoolOption is an option for configuring a Pool.
Predicate is a Prolog predicate implemented in Go.
QueryOption is an optional parameter for queries.
Subquery is an opaque value representing an in-flight query.
Substitution is a mapping of variable names to substitutions (terms).
Term is a Prolog term.