Trivial Prolog in Java

01: package ca.draisey.free.tprolog;
02:
03:
04:
05:
06:
07: // -- the required hook --
08: abstract class Successor {
09:         // this is overriden by anonymous inner classes and passed forward as required
10:         abstract void succeed();
11:         // for passing the non-static database and execution monitor throughout the entire trace
12:         abstract Succession succession();
13: }
14:
15: // fin