4 ms·
> Racklog is not really Prolog - like the title says it's "Prolog-style" logic programming. You can write Racklog with the Prolog syntax as well though.[0] >
by hjek 8y ago
> Racklog is not really Prolog - like the title says it's "Prolog-style" logic programming.
You can write Racklog with the Prolog syntax as well though.[0]
> So, with Prolog/Racklog, you get a database, plus an inference engine with all the power of the first-order predicate calculus. With SQL, you get a database.
That might be true for most Prolog implementations, but Racklog doesn't have a database (and that was what I was whinging about).
[0]: https://docs.racket-lang.org/racklog/Racklog_Module_Language.html https://docs.racket-lang.org/racklog/Racklog_Module_Language...
- deleted 8y ago[deleted]
- YeGoblynQueenne 8y agoApologies, I think I assumed too much about Racklog's implementation. However, what I say above is still true when it comes to most Prologs. The comparisons to SQL always seem to miss the point that, though Prolog terms are stored in a database, Prolog is not a database language.