Work Note 3, DM509, fall 2008
Lecture November 6
Prolog unification and evaluation mechanisms.
Background material
: [NF07].
Data file from the lecture:
chapter5.pl
.
Last modified: Sun Nov 9 17:55:12 CET 2008
Kim Skak Larsen
(
kslarsen@imada.sdu.dk
)