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.
Logic Programming – Syntax
- Rules
- Given a rule of the form H :- B1,...,Bn we call
- H the head of the rule (its consequent)
- B1 …. Bn the body of the rule (the antecedent or conditions)
- The head of the rule consists of one positive literal H
- The body of the rule consists of a number of literals B1, ..., Bn
- B1, …, Bn are also called subgoals
- Examples:
- parent(x) :- hasChild(x,y)
- father(x) :- parent(x), male(x)
- hasAunt(z,y) :- hasSister(x,y), hasChild(x,z)
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.