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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Sources
There are currently no sources for this slide.