I used to love Prolog, but Prolog is not general purpose. This has 'pi', 'cat', some imperative, and prolog taste in it...most interesting.