Uses of Package
com.semedy.reasoner.api.logic

Packages that use com.semedy.reasoner.api.logic

Package	Description
com.semedy.reasoner.api.builtin
com.semedy.reasoner.api.core
com.semedy.reasoner.api.edb
com.semedy.reasoner.api.idb
com.semedy.reasoner.api.logic
com.semedy.reasoner.api.parser
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.api.symboltable
com.semedy.reasoner.app
com.semedy.reasoner.core
com.semedy.reasoner.idb
com.semedy.reasoner.induction
com.semedy.reasoner.parser.oologic
com.semedy.reasoner.reasoning
com.semedy.reasoner.reasoning.monitor
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.rewriter
com.semedy.reasoner.rewriter.sips
com.semedy.reasoner.symboltable
com.semedy.reasoner.utils

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.api.builtin

Class	Description
Literal	object to represent a literal

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.api.core

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.api.edb

Class	Description
Literal	object to represent a literal

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.api.idb

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.api.logic

Class	Description
Compound	Represents a predicate or a function.
Function	object for a functional term
Literal	object to represent a literal
Rule	object to represent a rule.
Variable	represents a variable.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.api.parser

Class	Description
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.api.reasoning

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.api.symboltable

Class	Description
Function	object for a functional term
Variable	represents a variable.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.app

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.core

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.idb

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.induction

Class	Description
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.parser.oologic

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.reasoning

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.reasoning.monitor

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.reasoning.processes

Class	Description
Function	object for a functional term
Literal	object to represent a literal
Rule	object to represent a rule.
Variable	represents a variable.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.rewriter

Class	Description
Compound	Represents a predicate or a function.
Literal	object to represent a literal
Rule	object to represent a rule.
Variable	represents a variable.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.rewriter.sips

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.symboltable

Class	Description
Function	object for a functional term
Variable	represents a variable.

Classes in com.semedy.reasoner.api.logic used by com.semedy.reasoner.utils

Class	Description
Literal	object to represent a literal
Rule	object to represent a rule.
Variable	represents a variable.