Package com.semedy.reasoner.api.logic

package com.semedy.reasoner.api.logic

Classes

Class	Description
Compound	Represents a predicate or a function.
Function	object for a functional term
Literal	object to represent a literal
Path	represents a path in OO-logic
PlainLiteral	PlainLiteral external datatype.
Rule	object to represent a rule.
Variable	represents a variable.