engine

type Condition struct {
	NotExists  bool        //negation of existential quantification
	ObjectId   interface{} //string or Variable
	Attribute  string
	Comparator Operator
	Value      interface{}
}

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

type Fact struct {
	ObjectId  string
	Attribute string
	Value     interface{} //scalars only (in this version)
}

type Inference struct {
	ObjectId  interface{} //string or Variable
	Attribute string
	Value     interface{}
}

type Operator int

type Rule struct {
	Id  string
	LHS []Condition
	RHS []Inference
}

type Variable string