rggoebel@water.UUCP (Randy Goebel LPAIG) (02/25/85)
Does any one have any suggestions for a textbook for a fourth year course in functional and logic programming? Landin's book ``Functional programming: application and implementation'' is one possible book; Burge's ``Recursive programming techniques'' is another. The objective of the course is to introduce the notion of functional and logic programming, explain their foundations, investigate their relationships (as currently understood), and provide experience in designing functional and logic programs. We have fp, nial, lisp (Franz, Waterloo), Prolog (Waterloo Prolog, Waterloo Unix Prolog, Waterloo University Prolog, CProlog, MU-Prolog, microProlog) from which to choose. I would appreciate advice from anyone with experience in such a course.