native

type Argument interface {
	fmt.Stringer
	IsValid(golog.Machine, term.Term) bool
}

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

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

type ForeignCall struct {
	Signature Signature
	Name      string
	Arity     uint
	Method    reflect.Method
	Type      reflect.Type
	Field     reflect.StructField
}

type Marshaler interface {
	MarshalProlog(golog.Machine, term.Term) error
}

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

type PrologStringer interface {
	PrologString() string
}

type Signature []Argument

type Unmarshaler interface {
	UnmarshalProlog(map[uintptr]term.Term) term.Term
}

type Watcher struct {
	Variable *term.Variable
	Watched  reflect.Value
	// contains filtered or unexported fields
}