Package | Description |
---|---|
org.dllearner.parser |
DL-Learner parsers.
|
org.dllearner.prolog |
Prolog syntax structures.
|
Modifier and Type | Method and Description |
---|---|
Atom |
PrologParser.atom() |
Atom |
PrologParser.parseAtom(String src) |
Modifier and Type | Method and Description |
---|---|
Atom |
Literal.getAtom() |
Atom |
Clause.getHead() |
Atom |
Atom.getInstance(Variable variable,
Term term) |
Constructor and Description |
---|
Clause(Atom head,
Body body) |
Literal(Atom atom,
boolean state) |
PredicateDefinition(Atom atom) |
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann