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.
Predicate symbols represent relations between zero or more objects
The number of objects define a predicate‘s aritiy
Likes(joe, kate, susy)
Friends (father_of(david), father_of(andrew))
Signature: A signature is a collection of constants, function symbols and predicate symbols with specified arities
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License