From 890ad2bcee172ab2a4cbb319145f5b42ba38619a Mon Sep 17 00:00:00 2001 From: Julian T Date: Thu, 25 Nov 2021 08:47:19 +0100 Subject: Add notes and assignment solution --- sem7/pp/prolog/notes_lec2.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 sem7/pp/prolog/notes_lec2.md (limited to 'sem7/pp/prolog/notes_lec2.md') diff --git a/sem7/pp/prolog/notes_lec2.md b/sem7/pp/prolog/notes_lec2.md new file mode 100644 index 0000000..49511e8 --- /dev/null +++ b/sem7/pp/prolog/notes_lec2.md @@ -0,0 +1,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 + + -- cgit v1.2.3