3 ms·
I totally thought the article was going to be about prolog. Datalog was formulated as a subset of prolog. Prolog generalizes datalog, and is functional, etc. So
by djhaskin987 7y ago
I totally thought the article was going to be about prolog. Datalog was formulated as a subset of prolog. Prolog generalizes datalog, and is functional, etc. So generalizing a language that was the subset of a larger one in the first place is something I find odd.
- galaxyLogic 7y agoFrom Wikipedia: "Datalog does not have Prolog's cut operator. This makes Datalog a fully declarative language." So Datalog is a better starting point, extend it in some other better ways than Prolog does.
- YeGoblynQueenne 7y agoProlog is not functional. Datalog literals [1] and arguments of literals cannot have as arguments functions of arity more than 1 (i.e. constants). Prolog literals and their arguments may have functions of arity more than 1 as arguments. However, Prolog predicates are relations, not functions. i.e. they have no fixed "input" and "output" arguments. So Prolog is not a functional language. ______________________ [1] In "p(X):- q(X)", p(X) and q(X) are literals.
- antisemiotic 7y agoProlog isn't a total language, as a total language can't be Turing-complete.
- galaxyLogic 7y agoWhat kind of sound does a Turing machine make?