| HN Mirror

Y	Hacker News new \| ask \| show \| jobs


	by lispm 2233 days ago
	PROvably the Language of God

1 comments

DonHopkins 2233 days ago

false.

https://www.j-paine.org/dobbs/prolog_lightbulb.html

sgt101 2233 days ago

no (joke [1])

[1] http://www.doc.ic.ac.uk/~klc/NegAsFailure.pdf