SWI-Prolog
PaulBrownMagic
www.paulbrownmagic.com