Hacker News new | ask | show | jobs
by z3phyr 403 days ago
Do pure logic machine use some kind of higher order prolog, which currently does not exist?