| Package | Description |
|---|---|
| PrologDB | |
| PrologParser |
| Modifier and Type | Method and Description |
|---|---|
static DB |
DB.readDataBase(java.io.File infile)
reads and parses a prolog database from File infile.
|
static DB |
DB.readDataBase(java.io.File infile,
java.io.PrintStream out)
reads and parses a prolog database from given string filename.
|
static DB |
DB.readDataBase(java.lang.String localFileName)
reads and parses a prolog database from given string filename.
|
| Modifier and Type | Method and Description |
|---|---|
protected static void |
Parser.parseTupleDecl(java.lang.String line,
int lineno,
DB db)
parses a line at lineno, expecting to parse a legal prolog tuple
declaration.
|