SlideWiki | undefined

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.

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:

There are currently no sources for this slide.

Current Slide