Package | Description |
---|---|
org.dllearner.parser |
DL-Learner parsers.
|
org.dllearner.prolog |
Prolog syntax structures.
|
Modifier and Type | Method and Description |
---|---|
Term |
PrologParser.parseTerm(String src) |
Term |
PrologParser.simpleTerm() |
Term |
PrologParser.term() |
Modifier and Type | Class and Description |
---|---|
class |
Constant |
class |
Function |
class |
List |
class |
Number |
class |
PrologConstant |
class |
StringConstant |
class |
Variable |
Modifier and Type | Method and Description |
---|---|
Term |
Function.getArgument(int index) |
Term |
Atom.getArgument(int index) |
Term |
Number.getInstance(Variable variable,
Term term) |
Term |
PrologConstant.getInstance(Variable variable,
Term term) |
abstract Term |
Term.getInstance(Variable variable,
Term term) |
Term |
Function.getInstance(Variable variable,
Term term) |
Term |
Variable.getInstance(Variable variable,
Term term) |
Term |
StringConstant.getInstance(Variable variable,
Term term) |
Term |
List.getInstance(Variable variable,
Term term) |
Modifier and Type | Method and Description |
---|---|
ArrayList<Term> |
Atom.getArguments() |
Modifier and Type | Method and Description |
---|---|
Term |
Number.getInstance(Variable variable,
Term term) |
Term |
PrologConstant.getInstance(Variable variable,
Term term) |
Body |
Body.getInstance(Variable variable,
Term term) |
abstract Term |
Term.getInstance(Variable variable,
Term term) |
Literal |
Literal.getInstance(Variable variable,
Term term) |
Term |
Function.getInstance(Variable variable,
Term term) |
Clause |
Clause.getInstance(Variable variable,
Term term) |
Term |
Variable.getInstance(Variable variable,
Term term) |
Term |
StringConstant.getInstance(Variable variable,
Term term) |
Term |
List.getInstance(Variable variable,
Term term) |
Atom |
Atom.getInstance(Variable variable,
Term term) |
void |
Function.setArgument(int index,
Term term) |
Modifier and Type | Method and Description |
---|---|
static List |
List.compose(ArrayList<Term> content) |
Constructor and Description |
---|
Function(String name,
Term term2) |
Function(Term term1,
String name) |
Function(Term term1,
String name,
Term term2) |
List(Term head,
List tail) |
Constructor and Description |
---|
Atom(String name,
ArrayList<Term> arguments) |
Function(FunctionDefinition functionDefinition,
ArrayList<Term> arguments) |
Function(String name,
ArrayList<Term> arguments) |
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann