in reply to Perl and Prolog
You should check out the Language::Prolog module! It's no longer maintained,
and if I recall, has no Makefile.PL (it's ancient!) but with a little work, you can
be unifying and verifying under Perl!
In Section
Meditations