Hacker News new | ask | show | jobs
by wtetzner 1235 days ago
Datalog: https://en.m.wikipedia.org/wiki/Datalog

Prolog is actually Turing complete.