4 ms·
Doesn't guaranteed termination just mean it isn't Turing complete and thus by definition can't solve all problems prolog can solve?
by ben-schaaf 7y ago
Doesn't guaranteed termination just mean it isn't Turing complete and thus by definition can't solve all problems prolog can solve?
- sacado2 7y agoAbsolutely. But in practice, I can't think of a problem that coulnd't be solved with OWL (or some other formalism like answer set programming) and where prolog would be the best solution (rather than more "traditional" programming languages). There are certainly a few, but not enough IMO to draw a lot of attention to prolog.