4 ms·
Then why not embed a Prolog engine which being Turing complete is much more powerful and expressive than Datalog?
by krasi0 5y ago
Then why not embed a Prolog engine which being Turing complete is much more powerful and expressive than Datalog?
- maweki 5y agoFor one, memory management is much more difficult with term structures. But mainly Prolog semantics with side-effects are a whole different beast. This is a different thing I am researching, but basically the whole idea stems from robotics control with Prolog and how handling of side-effects just does not work nicely with SLD-resolution, specifically backtracking over side-effects. I have a paper on that as well ;)