This work was started before pull request #66 was merged, so there were some strange regressions that occurred between the uses of Prolog variables vs. stdlogic variables.