Open main menu
Home
Random
Log in
Settings
About Nordan Symposia
Disclaimers
Search
Changes
← Older edit
Newer edit →
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.
Rdavis
Bureaucrats
,
Administrators
102,825
edits