You can run pure ISO Prolog interactively in your browser on [1]. There's also an extended tutorial for solving toy container logistics problems there ([2]). Th

You can run pure ISO Prolog interactively in your browser on [1]. There's also an extended tutorial for solving toy container logistics problems there ([2]). Though while it doesn't require prior Prolog knowledge, it's not so much a learning resource as it is a teaser and practical guide for using Prolog's built-in combinatorical search for linear planning in the classic STRIPS style (David Warren's WARPLAN being among the earliest Prolog applications apart from NLP). [1]: https://quantumprolog.sgml.net https://quantumprolog.sgml.net [2]: https://quantumprolog.sgml.net/container-planning-demo/part1.html https://quantumprolog.sgml.net/container-planning-demo/part1...