predicates

README

predicates

import "github.com/guregu/predicates"

Native predicates for ichiban/prolog.

Implemented

• between/3
• consult/1 using io/fs.FS

License

BSD 2-clause. Includes code from ichiban/prolog (MIT license). See LICENSE.

Documentation

Index

• func Between(lower, upper, value engine.Term, k func(*engine.Env) *engine.Promise, ...) *engine.Promise
• type FS
  • func NewFS(fsys fs.FS, i *prolog.Interpreter) FS
  • func (ff FS) Consult(files engine.Term, k func(*engine.Env) *engine.Promise, env *engine.Env) *engine.Promise
  • func (ff FS) Register()

Functions

func Between

func Between(lower, upper, value engine.Term, k func(*engine.Env) *engine.Promise, env *engine.Env) *engine.Promise

Between (between/3) succeeds when lower, upper, and value are all integers, and lower <= value <= upper. If value is a variable, it is unified with successive integers from lower to upper.

between(+Lower, +Upper, -Value).

Types

type FS

type FS struct {
	// contains filtered or unexported fields
}

FS contains replacements for some built-in predicates that use the io/fs interface instead of the OS.

func NewFS

func NewFS(fsys fs.FS, i *prolog.Interpreter) FS

func (FS) Consult

func (ff FS) Consult(files engine.Term, k func(*engine.Env) *engine.Promise, env *engine.Env) *engine.Promise

consult/1.

func (FS) Register

func (ff FS) Register()