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