Comment by nagaiaida Comment by nagaiaida 20 hours ago 0 replies Copy Link View on Hacker News it's not that weird, this taken to its logical conclusion is effectively prolog's execution model