blob: 49511e89eec4fb24005ac2dfe666b1b3d46e3710 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Logic Programming
## Herbrand
The *herbrand universe* denotes all the constants in the program.
Thus all the things we can talk about.
While the *herbrand base* is the set of possible facts.
So all the things that one can build using predicates and constants.
So any model is the subset of the *herbrand base*.
Just because something is in the *herbrand base* does not mean that it holds.
The *herbrand universe* is what we can talk about, while the *herbrand base* is what we can say about it.
## Minimal Model
A minimal model for some program P, does not contain a smaller Herbrand model for P.
Compute finite model with *least fixed point*, which calculates all things that are true.
Has something to do with *minimal model*, probably the saaaaaame??. TODO
|
