3 ms·
Are there languages today that embody first-order logic (perhaps Prolog)?
by winter_blue 4y ago
Are there languages today that embody first-order logic (perhaps Prolog)?
- wtetzner 4y agoDatalog: https://en.m.wikipedia.org/wiki/Datalog https://en.m.wikipedia.org/wiki/Datalog Prolog is actually Turing complete.