Talk:Negation as failure
Add topicLatest comment: 14 years ago by 212.182.154.40 in topic ET in Prolog?
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
ET in Prolog?
[edit]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)