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

Sources

There are currently no sources for this slide.