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

  • The LP vocabulary consists of:
    • Constants: b, cow, “somestring”
    • Predicates: p, loves
    • Function symbols: f, fatherOf
    • Variables: x, y
  • Terms can be:
    • Constants
    • Variables
    • Constructed terms (i.e. function symbol with arguments)
  • Examples:
    • cow, b, Jonny,
    • loves(John)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.