User:PrologFan

Nothing to see here yet, in the meantime look at Prolog. 