internal

Documentation

Index

• func EvaluationError(error, info engine.Term) *engine.Exception
• func EvaluationErrorIntOverflow() *engine.Exception
• func TypeErrorAtom(culprit engine.Term) *engine.Exception
• func TypeErrorCompound(culprit engine.Term) *engine.Exception
• func TypeErrorInteger(culprit engine.Term) *engine.Exception
• func TypeErrorPair(culprit engine.Term) *engine.Exception
• type TestProlog
  • func NewTestProlog() *TestProlog
  • func (p *TestProlog) Expect(want []map[string]engine.Term, query string, args ...interface{}) func(*testing.T)
  • func (p *TestProlog) MustExec(t *testing.T, prog string, args ...interface{})

Functions

func EvaluationError

func EvaluationError(error, info engine.Term) *engine.Exception

func EvaluationErrorIntOverflow

func EvaluationErrorIntOverflow() *engine.Exception

http://www.gprolog.org/manual/html_node/gprolog020.html#sec44

func TypeErrorAtom

func TypeErrorAtom(culprit engine.Term) *engine.Exception

func TypeErrorCompound

func TypeErrorCompound(culprit engine.Term) *engine.Exception

func TypeErrorInteger

func TypeErrorInteger(culprit engine.Term) *engine.Exception

func TypeErrorPair

func TypeErrorPair(culprit engine.Term) *engine.Exception

Types

type TestProlog

type TestProlog struct {
	*prolog.Interpreter
}

func NewTestProlog

func NewTestProlog() *TestProlog

func (*TestProlog) Expect

func (p *TestProlog) Expect(want []map[string]engine.Term, query string, args ...interface{}) func(*testing.T)

func (*TestProlog) MustExec

func (p *TestProlog) MustExec(t *testing.T, prog string, args ...interface{})