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

  • Facts denote assertions about the world:
    • A rule without a body (no conditions)
    • A ground atom
  • Examples:
    • hasChild(Jonny, Sue)
    • Male(Jonny)).
  • Queries allow to ask questions about the knowledge base:
    • Denoted as a rule without a head:
      • ?- B1,...,Bn.
  • Examples:
    • ? - hasSister(Jonny,y), hasChild(Jonny , z) gives all the sisters and children of Jonny
    • ? - hasAunt(Mary,y) gives all the aunts of Mary
    • ?- father(Jonny) ansers if Jonny is a father

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.