| 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