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

  • A Herbrand Interpretation I is a subset of the Herbrand Base B for a program

    • The domain of a Herbrand interpretation is the Herbrand Universe U

    • Constants are assigned to themselves

    • Every function symbol is interpreted as the function that applies it

      • If f is an n-ary function symbol (n>0) then the mapping from Un to U defined by (t1, …, tn) → f(t1, …, tn) is assigned to f

Speaker notes:

Content Tools


There are currently no sources for this slide.