Talk:Negation as failure

From Wikipedia, the free encyclopedia

You have new messages (last change).

[edit] 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)

Retrieved from "http://en.wikipedia.org../../../n/e/g/Talk%7ENegation_as_failure_d90e.html"