4 ms·
On one hand, Prolog is more powerful than Datalog. But on the other hand, Prolog is more powerful than Datalog.
by gamache 4y ago
On one hand, Prolog is more powerful than Datalog. But on the other hand, Prolog is more powerful than Datalog.
- telekid 4y agoWith great power comes great irresponsibility.
- tpoacher 4y agoQuery: morepowerfullthan(Prolog, Datalog). yes; yes; yes; yes; yes; yes; yes; yes; ...
- DonHopkins 4y agoJust as C combines the power and performance of assembly language with the flexibility and ease-of-use of assembly language.
- maweki 4y agoIn this case, it's even worse. Prolog is computationally complete. With everything that comes with rice's theorem. Every non-trivial property of a program being generally undecidable. Datalog, on the other hand, isn't. It's terminating, like SQL. And many program properties are indeed decidable.