Versions in this module Expand all Collapse all v7 v7.1.0 Apr 2, 2024 v7.0.1 Mar 5, 2024 Changes in this version + var RegistryNames = func() []string { ... }() + func Instrument0(invariant Invariant, p engine.Predicate0) engine.Predicate0 + func Instrument1(invariant Invariant, p engine.Predicate1) engine.Predicate1 + func Instrument2(invariant Invariant, p engine.Predicate2) engine.Predicate2 + func Instrument3(invariant Invariant, p engine.Predicate3) engine.Predicate3 + func Instrument4(invariant Invariant, p engine.Predicate4) engine.Predicate4 + func Instrument5(invariant Invariant, p engine.Predicate5) engine.Predicate5 + func Instrument6(invariant Invariant, p engine.Predicate6) engine.Predicate6 + func Instrument7(invariant Invariant, p engine.Predicate7) engine.Predicate7 + func Instrument8(invariant Invariant, p engine.Predicate8) engine.Predicate8 + func New(opts ...Option) (*prolog.Interpreter, error) + func Register(i *prolog.Interpreter, name string, hook Hook) error + type Hook = func(functor string) func(env *engine.Env) error + type Invariant func(env *engine.Env) error + type Option func(*prolog.Interpreter) error + func WithBootstrap(ctx goctx.Context, bootstrap string) Option + func WithFS(fs fs.FS) Option + func WithPredicate(_ goctx.Context, predicate string, hook Hook) Option + func WithPredicates(ctx goctx.Context, predicates []string, hook Hook) Option + func WithUserOutputWriter(w io.Writer) Option
Go to main page