News for hackers. Stuff that matters.

A comment on P-99: Ninety-Nine Prolog Problems. Parent comment

Re:P-99: Ninety-Nine Prolog Problems by colanderman on Thursday December 12, 2019 @07:32PM (#21778059)
> That is not a First Order Logic statement. I think perhaps you mean "forall X, P(X)" or "∀x: P(x)".

You seem to have had no trouble understanding what I wrote. What's the point of this comment?

[ Parent | on HN ]

There are no comments on this comment yet.