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

Sources

There are currently no sources for this slide.