Talk:Negation as failure
|WikiProject Computer science|
ET in Prolog?
I have removed the following part:
- "An illustration of the fallasy of such reasoning is with regard to the search for extra-terrestrial intelligence. Just because we as a civilisation have not yet found any solid evidence for the existence of extraterristrial intelligence that does not mean that there does not exist extraterrestrial intelligence."
For this being a fallacy, we should known for certain that extra-terrestrial intelligence exists. I would support giving an example of why NAF may not give the expected results, but I'd like something more related to logic programming. - Liberatore(T) 11:57, 29 March 2006 (UTC)