------------------------
Universal Skolem Machine
------------------------

See http://skolemmachines.org/reports/SkolemMachines.pdf

The tests are at http://josd.github.io/eye/reasoning/usm/test
