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.

Examples

  • Both the father and the mother are parents:
  • ?x[parent hasValue ?y] :- ?x[father hasValue ?y] or ?x[mother hasValue ?y] 
  • Every person has a father:
  • ?x[father hasValue f(?x)] :- ?x memberOf Person 
  • There may only be one distance between two locations, and the distance between locations A and B is the same as the distance between B and A:
  • !- distance(?location1,?location2,?distance1) and distance(?location1,?location2,?distance2) and ?distance1 != distance2
  • distance(?B,?A,?distance) :- distance(?A,?B,?distance)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.