pengine

Aug 7, 2022

Changes in this version

+ func RPCWithInterpreter(p *prolog.Interpreter) ...

type Client

+ Interpreter *prolog.Interpreter

Jul 11, 2022

Changes in this version

type Term

+ Dictionary map[string]Term

Apr 25, 2022

Changes in this version

type Client

+ Debug bool

Apr 17, 2022

Changes in this version

type Client

+ SourceText string

Apr 17, 2022

Changes in this version

+ var ErrDead = fmt.Errorf("pengine: died")

+ var ErrFailed = fmt.Errorf("pengine: query failed")

+ func RPC(url, query, options engine.Term, k func(*engine.Env) *engine.Promise, ...) *engine.Promise

+ type Answers interface

+ Close func() error

+ Cumulative func() time.Duration

+ Current func() T

+ Engine func() *Engine

+ Err func() error

+ Next func(context.Context) bool

+ func Ask(ctx context.Context, c Client, query string) (Answers[T], error)

+ func AskProlog(ctx context.Context, c Client, query string) (Answers[engine.Term], error)

+ type Client struct

+ Application string

+ Chunk int

+ HTTP *http.Client

+ Source string

+ SourceURL string

+ URL string

+ func (c Client) Ask(ctx context.Context, query string) (*iterator[Solution], error)

+ func (c Client) Create(ctx context.Context, destroy bool) (*Engine, error)

+ type Compound struct

+ Args []Term

+ Functor string

+ type Engine struct

+ func (e *Engine) Ask(ctx context.Context, query string) (Answers[Solution], error)

+ func (e *Engine) AskProlog(ctx context.Context, query string) (Answers[engine.Term], error)

+ func (e *Engine) Close() error

+ func (e *Engine) ID() string

+ func (e *Engine) Ping(ctx context.Context) error

+ type Error struct

+ Code string

+ Data string

+ func (err Error) Error() string

+ type Number = json.Number

+ type Solution map[string]Term

+ type Term struct

+ Atom *string

+ Boolean *bool

+ Compound *Compound

+ List []Term

+ Null bool

+ Number *json.Number

+ Variable *string

+ func (t *Term) UnmarshalJSON(b []byte) error

+ func (t Term) Prolog() engine.Term