FYI, a very compact Prolog version of the Zebra/Einstein puzzle can be loaded into the editor for execution using "Load example" on [1]. [1]: https://quantumpr

FYI, a very compact Prolog version of the Zebra/Einstein puzzle can be loaded into the editor for execution using "Load example" on [1]. [1]: https://quantumprolog.sgml.net/browser-demo/browser-demo.html https://quantumprolog.sgml.net/browser-demo/browser-demo.htm...