Prolog in OMeta/JS

This page "autoexecs" the example from the OMeta/JS demo page that adds support for method declarations to the SqueakParser and a tiny Prolog engine (less than 100 lines of JavaScript), then implements Prolog syntax using OMeta/JS. To make it go, select all of the code below and press the "do it" button. When a solution pops up, press OK to accept it, or Cancel to search for the next one.

Acknowledgement: the tiny Prolog engine used in this page was joint work with Stephen Murrell.