Litteratur

---

CM94/CM03

W.F. Clocksin and C.S. Mellish. Programming in Prolog. Springer-Verlag, 4. eller 5. udgave. Obligatorisk lærebog i logikprogrammeringsdelen.

Kendte fejl i 5. udgave:

• Opgave 3.2 mangler
• Side 56: de to linier l.10-11 fo skal ombyttes med l.8-9 fn
• Side 275: notin(X, [X|_]) :- !, fail. skal erstattes med:
  notin(X, [Y|_]) :- X == Y, !, fail. og tilsvarende:
  putin(X, [X|L],[X|L]) :- !. skal erstattes med:
  putin(X, [Y|L],[Y|L]) :- X == Y, !. idet der ellers foretages uønsket instantiering. Disse fejl findes også i 4.udgave (s. 258)!

Tho99

Simon Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley, 2nd edition, 1999. Obligatorisk lærebog i funktionsprogrammeringsdelen.

Udleverede noter

• Noter om Haskell-operatorer.
• Clausify programmet trans.pro.