rezoluce.htm

interpretace 2-15

klasifikace formulí výrokové logiky 2-23

normální formy formulí 2-29

zjemnění rezoluce 3-14

SLD stromy 3-24

prenexová normální forma 6-3

unifikace 6-15

rezoluční důkaz (predikátová logika) 7-7

zjemnění rezoluce (predikátová logika) 7-10

SLD stromy 7-18

prolog 8-5