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

  • From terms and predicates we can build atoms:
    • For n-ary predicate symbol p and terms t1, ..., tn, p(t1, ..., tn) is an atom
    • A ground atom is an atom without variables
  • Examples:
    • p(x)
    • loves(Jonny, Mary), worksAt(Jonny, SomeCompany)
    • worksAt(loves(Mary), SomeCompany)
  • Literals
    • A literal is a an atom or its negation
    • A positive literal is an atom
    • A negative literal is a negated atom
    • A ground literals is a literal without variables

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.