Comment by nagaiaida Comment by nagaiaida 2 months 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