Hacker News new | ask | show | jobs
by winter_blue 1238 days ago
Are there languages today that embody first-order logic (perhaps Prolog)?
1 comments
wtetzner 1238 days ago
Datalog: https://en.m.wikipedia.org/wiki/Datalog

Prolog is actually Turing complete.

link