@Jason Morris I use swipl, but, in a very shallow manner. I have gotten useful help from the reddit group on swipl (or was it slashdot?) ...