ACE Logic Calculator - Demo

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 .. )

_ /\ _