Forums before death by AOL, social media and spammers... "We can't have nice things"
| sci.logic | Logic -- math, philosophy & computationa | 262,912 messages |
[ << oldest | < older | list | newer > | newest >> ]
| Message 262,092 of 262,912 |
| Mikko to olcott |
| Re: Carol's question + my Prolog are a c |
| 22 Dec 25 19:11:56 |
XPost: comp.theory, comp.lang.prolog, sci.math From: mikko.levanto@iki.fi On 22/12/2025 18:39, olcott wrote: > % This sentence is not true. > ?- LP = not(true(LP)). > LP = not(true(LP)). The Prolog implementation's opinion is that it is true. -- Mikko --- SoupGate-Win32 v1.05 * Origin: you cannot sedate... all the things you hate (1:229/2) |
(c) 1994, bbs@darkrealms.ca