| 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