Semantika Prologa
Iz E-študij, proste zakladnice študentskega znanja
Deklarativni pomen
- govori le o relacijah, definiranih v programu - opredeljuje, kaj bodo rezultati programa
- logični pomen: dana sta program P in cilj G - ali je izjava P ⇒ G resnična
- G je resničen (logično sledi iz P), če:
- obstaja v P stavek C, da zanj velja:
- obstaja tak primer I stavka C, da velja:
- glava I je identična G (se lahko prilagodi z določanjem spremenljivk) in
- vsi cilji v telesu I so resnični
Postopkovni pomen
- kako bodo rezultati dejansko dobljeni
- v večini prolog programov za postopek poskrbi sam prolog
- pri programiranju v prologu je koristno razmišljati čimbolj deklarativno in čimmanj postopkovno
- izjema so le programi ki ne sodijo v čisti prolog (npr. branje iz datoteke); pri takih programih je zelo pomemben tudi postopek
