Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Concrete Logic Programming System: IRIS
- Example program (also see online demo at http://www.iris-reasoner.org/demo):
-
man('homer').
-
woman('marge').
-
hasSon('homer','bart').
-
isMale(?x) :- man(?x).
-
isFemale(?x) :- woman(?x).
-
isMale(?y) :- hasSon(?x,?y).
- Query:
-
?-isMale(?x).
- Output:
-
Init time: 14ms
-
----------------------------------
-
Query: ?- isMale(?x). ==>> 2 rows in 1ms
-
Variables: ?x
-
('bart')
-
('homer')
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.