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 – Semantics

  • Recall:
    • Terms not containing any variables are ground terms
    • Atoms not containing any variables are ground atoms
  • The Herbrand Universe U is the set of all ground terms which can be formed from
    • Constancts in a program
    • Function symbols in a program
  • Example: a, b, c, f(a)
  • The Herbrand Base B is the set of all ground atoms which can be built from
    • Predicate symbols in a program
    • Ground terms from U
  • Example: p(a), q(b), q(f(a))

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.