prolog

Dec 11, 2022

Changes in this version

+ type Scanner interface

+ Scan func(vm *engine.VM, term engine.Term, env *engine.Env) error

+ type TermString string

+ func (t *TermString) Scan(vm *engine.VM, term engine.Term, env *engine.Env) error

Sep 19, 2022

Changes in this version

type Interpreter

+ func (i *Interpreter) Consult(files engine.Term, k func(*engine.Env) *engine.Promise, env *engine.Env) *engine.Promise

+ func (i *Interpreter) Initialization(g engine.Term, k func(*engine.Env) *engine.Promise, env *engine.Env) *engine.Promise

Dec 28, 2021

Changes in this version

+ var ErrNoSolutions = errors.New("no solutions")

type Interpreter

+ func (i *Interpreter) QuerySolution(query string, args ...interface{}) *Solution

+ func (i *Interpreter) QuerySolutionContext(ctx context.Context, query string, args ...interface{}) *Solution

+ type Solution struct

+ func (s *Solution) Err() error

+ func (s *Solution) Scan(dest interface{}) error

+ func (s *Solution) Vars() []string

Dec 11, 2021

Changes in this version

+ var ErrClosed = errors.New("closed")

+ func Register(name string, library func(*Interpreter) error)

Nov 21, 2021

Changes in this version

+ var Libraries = map[string]func(*Interpreter) error

Oct 9, 2021

Changes in this version

type Interpreter

+ func (i *Interpreter) ExecContext(ctx context.Context, query string, args ...interface{}) error

+ func (i *Interpreter) QueryContext(ctx context.Context, query string, args ...interface{}) (*Solutions, error)

Aug 22, 2021

Changes in this version

+ type Interpreter struct

+ func New(in io.Reader, out io.Writer) *Interpreter

+ func (i *Interpreter) Exec(query string, args ...interface{}) error

+ func (i *Interpreter) Query(query string, args ...interface{}) (*Solutions, error)

+ type Solutions struct

+ func (s *Solutions) Close() error

+ func (s *Solutions) Err() error

+ func (s *Solutions) Next() bool

+ func (s *Solutions) Scan(dest interface{}) error

+ func (s *Solutions) Vars() []string

Feb 27, 2021

Changes in this version

+ var DefaultFunctionSet = FunctionSet

+ func Arg(arg, term, value Term, k func() (bool, error)) (bool, error)

+ func AtomChars(atom, chars Term, k func() (bool, error)) (bool, error)

+ func AtomCodes(atom, codes Term, k func() (bool, error)) (bool, error)

+ func AtomConcat(atom1, atom2, atom3 Term, k func() (bool, error)) (bool, error)

+ func AtomLength(atom, integer Term, k func() (bool, error)) (bool, error)

+ func CharCode(char, code Term, k func() (bool, error)) (bool, error)

+ func Compare(order, term1, term2 Term, k func() (bool, error)) (bool, error)

+ func Contains(t, s Term) bool

+ func CopyTerm(in, out Term, k func() (bool, error)) (bool, error)

+ func Cut(k func() (bool, error)) (bool, error)

+ func Done() (bool, error)

+ func Each(list Term, f func(elem Term) error) error

+ func Functor(term, name, arity Term, k func() (bool, error)) (bool, error)

+ func NumberChars(num, chars Term, k func() (bool, error)) (bool, error)

+ func NumberCodes(num, chars Term, k func() (bool, error)) (bool, error)

+ func Repeat(k func() (bool, error)) (bool, error)

+ func SubAtom(atom, before, length, after, subAtom Term, k func() (bool, error)) (bool, error)

+ func Throw(t Term, _ func() (bool, error)) (bool, error)

+ func TypeAtom(t Term, k func() (bool, error)) (bool, error)

+ func TypeCompound(t Term, k func() (bool, error)) (bool, error)

+ func TypeFloat(t Term, k func() (bool, error)) (bool, error)

+ func TypeInteger(t Term, k func() (bool, error)) (bool, error)

+ func TypeVar(t Term, k func() (bool, error)) (bool, error)

+ func Unify(t1, t2 Term, k func() (bool, error)) (bool, error)

+ func UnifyWithOccursCheck(t1, t2 Term, k func() (bool, error)) (bool, error)

+ func Univ(term, list Term, k func() (bool, error)) (bool, error)

+ type Atom string

+ func (a Atom) Copy() Term

+ func (a Atom) String() string

+ func (a Atom) Unify(t Term, occursCheck bool) bool

+ func (a Atom) WriteTerm(w io.Writer, opts WriteTermOptions) error

+ type Compound struct

+ Args []Term

+ Functor Atom

+ func (c *Compound) Copy() Term

+ func (c *Compound) String() string

+ func (c *Compound) Unify(t Term, occursCheck bool) bool

+ func (c *Compound) WriteTerm(w io.Writer, opts WriteTermOptions) error

+ type Engine struct

+ func NewEngine(in io.Reader, out io.Writer) (*Engine, error)

+ func (e *Engine) Describe(v *Variable) string

+ func (e *Engine) Exec(s string) error

+ func (e *Engine) Query(s string, cb func(vars []*Variable) bool) (bool, error)

+ func (e *Engine) Register0(name string, p func(func() (bool, error)) (bool, error))

+ func (e *Engine) Register1(name string, p func(Term, func() (bool, error)) (bool, error))

+ func (e *Engine) Register2(name string, p func(Term, Term, func() (bool, error)) (bool, error))

+ func (e *Engine) Register3(name string, p func(Term, Term, Term, func() (bool, error)) (bool, error))

+ func (e *Engine) Register4(name string, ...)

+ func (e *Engine) Register5(name string, ...)

+ type EngineState struct

+ BeforeHalt []func()

+ func (e *EngineState) Abolish(t Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Asserta(t Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Assertz(t Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) BagOf(template, goal, bag Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Call(goal Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Catch(goal, catcher, recover Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) CharConversion(char1, char2 Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Clause(head, body Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Close(stream, options Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) CurrentCharConversion(char1, char2 Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) CurrentInput(stream Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) CurrentOp(precedence, typ, name Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) CurrentOutput(stream Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) CurrentPredicate(pf Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) CurrentPrologFlag(flag, value Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) FlushOutput(stream Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) GetByte(stream, byt Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) GetCode(stream, code Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Halt(n Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Op(precedence, typ, name Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Open(filename, mode, stream, options Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) PeekByte(stream, byt Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) PeekCode(stream, code Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) PutByte(stream, byt Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) PutCode(stream, code Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) ReadTerm(stream, term, options Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) Retract(t Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) SetInput(stream Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) SetOf(template, goal, bag Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) SetOutput(stream Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) SetPrologFlag(flag, value Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) SetStreamPosition(stream, pos Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) StreamProperty(stream, property Term, k func() (bool, error)) (bool, error)

+ func (e *EngineState) WriteTerm(stream, term, options Term, k func() (bool, error)) (bool, error)

+ type Exception struct

+ func (e *Exception) Error() string

+ type Float float64

+ func (f Float) Copy() Term

+ func (f Float) String() string

+ func (f Float) Unify(t Term, occursCheck bool) bool

+ func (f Float) WriteTerm(w io.Writer, _ WriteTermOptions) error

+ type FunctionSet struct

+ Binary map[Atom]func(x, y Term) (Term, error)

+ Unary map[Atom]func(x Term) (Term, error)

+ func (fs FunctionSet) Equal(lhs, rhs Term, k func() (bool, error)) (bool, error)

+ func (fs FunctionSet) GreaterThan(lhs, rhs Term, k func() (bool, error)) (bool, error)

+ func (fs FunctionSet) GreaterThanOrEqual(lhs, rhs Term, k func() (bool, error)) (bool, error)

+ func (fs FunctionSet) Is(lhs, rhs Term, k func() (bool, error)) (bool, error)

+ func (fs FunctionSet) LessThan(lhs, rhs Term, k func() (bool, error)) (bool, error)

+ func (fs FunctionSet) LessThanOrEqual(lhs, rhs Term, k func() (bool, error)) (bool, error)

+ func (fs FunctionSet) NotEqual(lhs, rhs Term, k func() (bool, error)) (bool, error)

+ type Integer int64

+ func (i Integer) Copy() Term

+ func (i Integer) String() string

+ func (i Integer) Unify(t Term, occursCheck bool) bool

+ func (i Integer) WriteTerm(w io.Writer, _ WriteTermOptions) error

+ type Operator struct

+ Name Atom

+ Precedence Integer

+ Type Atom

+ type Operators []Operator

+ type Parser struct

+ func NewParser(input *bufio.Reader, operators *Operators, charConversions map[rune]rune) *Parser

+ func (p *Parser) Clause() (Term, error)

+ func (p *Parser) Term() (Term, error)

+ type Stream struct

+ func (s *Stream) Copy() Term

+ func (s *Stream) String() string

+ func (s *Stream) Unify(t Term, occursCheck bool) bool

+ func (s *Stream) WriteTerm(w io.Writer, _ WriteTermOptions) error

+ type Term interface

+ Copy func() Term

+ Unify func(Term, bool) bool

+ WriteTerm func(io.Writer, WriteTermOptions) error

+ func Cons(car, cdr Term) Term

+ func List(ts ...Term) Term

+ func ListRest(rest Term, ts ...Term) Term

+ func PrincipalFunctor(name Atom, arity Integer) Term

+ func Resolve(t Term) Term

+ func Rulify(t Term) Term

+ func Set(ts ...Term) Term

+ type Variable struct

+ Name string

+ Ref Term

+ func (v *Variable) Copy() Term

+ func (v *Variable) String() string

+ func (v *Variable) Unify(t Term, occursCheck bool) bool

+ func (v *Variable) WriteTerm(w io.Writer, opts WriteTermOptions) error

+ type WriteTermOptions struct

+ Descriptive bool

+ NumberVars bool

+ Ops Operators

+ Quoted bool