Changes

From Nordan Symposia
Jump to navigationJump to search

Inference (view source)

Revision as of 03:53, 19 August 2007

8 bytes removed ,  03:53, 19 August 2007
→‎An example: inference using Prolog
Line 80: Line 80:       −
mortal(X) :- man(X).
+
mortal(X) :- man(X).
−
man(socrates). </code>
+
man(socrates).  
    
This states that all men are mortal and that Socrates is a man. Now we can ask [[Prolog]] about Socrates.
 
This states that all men are mortal and that Socrates is a man. Now we can ask [[Prolog]] about Socrates.
Retrieved from "http://nordan.daynal.org/wiki/Special:MobileDiff/6718"

Navigation menu