Are there languages today that embody first-order logic (perhaps Prolog)? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		winter_blue on Jan 23, 2023 \| parent \| context \| favorite \| on: Ask HN: Has anyone fully attempted Bret Victor's v... Are there languages today that embody first-order logic (perhaps Prolog)?

wtetzner on Jan 24, 2023 [–]

Datalog: https://en.m.wikipedia.org/wiki/Datalog

Prolog is actually Turing complete.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact