|
Packages |
| gnu.getopt |
|
| gnu.prolog |
|
| gnu.prolog.database |
|
| gnu.prolog.demo |
This package contains demo programs which show how to use the gnu.prolog library |
| gnu.prolog.demo.mentalarithmetic |
This package contains a simple demo program showing how to use gnu.prolog
in java programs in order to do backtracking search. |
| gnu.prolog.gui |
|
| gnu.prolog.io |
|
| gnu.prolog.io.parser |
This package contains the TermParser.jj file which is used by javacc to
generate the parser found in gnu.prolog.io.parser.gen. |
| gnu.prolog.io.parser.gen |
|
| gnu.prolog.term |
Contains the various types of Term that can be used. |
| gnu.prolog.test |
|
| gnu.prolog.vm |
|
| gnu.prolog.vm.buildins.allsolutions |
|
| gnu.prolog.vm.buildins.arithmetics |
|
| gnu.prolog.vm.buildins.atomicterms |
|
| gnu.prolog.vm.buildins.database |
|
| gnu.prolog.vm.buildins.datetime |
|
| gnu.prolog.vm.buildins.debug |
|
| gnu.prolog.vm.buildins.dialogs |
|
| gnu.prolog.vm.buildins.imphooks |
|
| gnu.prolog.vm.buildins.io |
|
| gnu.prolog.vm.buildins.java |
|
| gnu.prolog.vm.buildins.list |
|
| gnu.prolog.vm.buildins.misc |
|
| gnu.prolog.vm.buildins.termcomparsion |
|
| gnu.prolog.vm.buildins.termcreation |
|
| gnu.prolog.vm.buildins.typetesting |
|
| gnu.prolog.vm.buildins.unification |
|
| gnu.prolog.vm.buildins.uuid |
|
| gnu.prolog.vm.interpreter |
InterpretedCodeCompiler uses the various classes beginning with I
and extending Instruction in the
instruction sub-package to
compile clauses to InterpretedByteCode. |
| gnu.prolog.vm.interpreter.instruction |
|