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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.