Talk:Negation as failure

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)

I agree with your removal, but it is a fallacy, whether or not alien life forms exist in our universe, has nothing to do with it being a fallacy. 212.182.154.40 (talk) 22:04, 15 April 2012 (UTC)