Comment by dmichulke
5 hours ago
> It's one of few languages that is simultaneously a standalone logical formalism, and a standalone representation of computation. (With caveats and exceptions, I know).
Would you be able to formulate all those "caveats and exceptions" in Prolog?
No comments yet
Contribute on Hacker News ↗