@dcz late to the thread, but I am a recent follower of Prolog. https://www.swi-prolog.org seems to have threaded execution, not sure whether it is implicitly parallel under the hood. But why not gorge on bountiful free/open software? Write Prolog that generates a Makefile and run it with 'make -j $CORES' ? Or run many Prolog instances (pengines?) designed in a control hierarchy?
@dcz ah, so, Erlang/Elixir? Or are there more declarative options? A far-out option is Parasail (Ada with implicit parallelism but not declarative). A more Prolog-y option seems to be Mercury which has implicit parallelism. A mundane option might be GNU parallel?
@tetrislife Introducing a layer of indirection makes reasoning about the system harder.
Make also has heavy flaws like that it only works on files as inputs.
My goal here is to leverage an existing, sane syntax and execution model, rather that squeeze in Prolog.