I always felt like Prolog's ability to execute programs was entirely accidental.

To me, it feels like a data description language that someone discovered could be tricked into performing computation.

Check out datalog! https://learn-some.com/ The tutorial there uses Clojure syntax but Datalog normally uses a Prolog syntax.

	▲	akritid 6 hours ago \| parent [-]
		This datalog implementation uses prolog syntax, can even run the queries in prolog to contrast the model: https://des.sourceforge.io/

jjgreen 7 hours ago | parent | prev [-]

... a bit like life ...

	▲	flopsamjetsam 5 hours ago \| parent [-]
		Conway's Life? Or DNA?