A B C D E F G H I K L M N O P Q R S T U V W X Z

L

limplTT - Static variable in class ai.krr.fol.KifSentenceAdaptor

the token types used

limplTT - Static variable in class ai.krr.propositions.KifSentenceAdaptor

the token types used

LispSymbolAdaptor - Class in ai.krr

This class is an adaptor between the Symbol class that can be used as an internal representation for reasoning and its external form as defined by the LISP syntax described below and in more detail in Guy L Steele's book "Common Lisp the Language".

LispSymbolAdaptor() - Constructor for class ai.krr.LispSymbolAdaptor

This constructor creates a SyntaxAdaptor that can be used to read symbols in a KIF syntax and create a Symbol for it, or it can be used to write out a Symbol in KIF syntax.

Literal - Class in ai.krr.fol

A Literal is one of the most basic building blocks for a Sentence.

Literal(boolean, NamedSymbol, List<Term>) - Constructor for class ai.krr.fol.Literal

This constructor for a Literal takes a boolean sign, a predicate Symbol and a List of argument Terms.

Literal(boolean, NamedSymbol, Term...) - Constructor for class ai.krr.fol.Literal

This constructor for a Literal takes a boolean sign, a predicate Symbol and a number of argument Terms.

Literal - Class in ai.krr.propositions

A Literal is one of the most basic building blocks for a Sentence.

Literal(boolean, NamedSymbol) - Constructor for class ai.krr.propositions.Literal

This constructor for a Literal takes a NamedSymbol for the proposition and a sign.

literals - Variable in class ai.krr.fol.Clause

the Literals of this Clause

literals - Variable in class ai.krr.propositions.Clause

the Literals of this Clause

literals - Variable in class ai.krr.propositions.IntEncodedClause

the encoded Literals in this Clause

localVarNames - Variable in class ai.krr.fol.KifSentenceAdaptor.VariableStack

localVars - Variable in class ai.krr.fol.KifSentenceAdaptor.VariableStack