so this is essentially SWI-Prolog ( available in Ubuntu ) with a NICE interface?
( there are a couple books on learning prolog, and 1 of them is good..
I'll dig it up for you..
"Adventure in Prolog"
with that & SWI-Prolog, it becomes learnable.
It's .. kinda a dry persuit, though .. )
_ /\ _