Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site water.UUCP
Path: utzoo!watmath!water!rggoebel
From: rggoebel@water.UUCP (Randy Goebel LPAIG)
Newsgroups: net.lang.prolog,net.ai
Subject: Functional and logic programming
Message-ID: <326@water.UUCP>
Date: Mon, 25-Feb-85 09:53:12 EST
Article-I.D.: water.326
Posted: Mon Feb 25 09:53:12 1985
Date-Received: Wed, 27-Feb-85 05:36:50 EST
Distribution: net
Organization: U of Waterloo, Ontario
Lines: 15
Xref: watmath net.lang.prolog:456 net.ai:2556

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.