ylfink@water.UUCP (ylfink) (09/30/86)
DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES
ARTIFICIAL INTELLIGENCE SEMINAR
- Thursday, October 16, 1986.
Professor Maarten van Emden of this department will
speak on ``Beyond Lisp and Prolog''.
TIME: 1:30 PM
ROOM: MC 5158
ABSTRACT
Structured programming has allowed a certain measure of
progress from state-oriented programming to goal-
oriented programming. Although this amount of progress
has been useful, it is also only a small proportion of
what is currently possible in this direction.
Pure versions of Lisp and Prolog achieve goal-oriented
programming completely, each within its limited domain.
The domain of Lisp is the functional expression, that
of Prolog the relational formula. As it is awkward to
express relational information in functional form or
vice versa, it is urgent to develop a successor to Lisp
and Prolog that makes both type of information equally
convenient to handle.
This seminar reviews the background in structured,
functional, and relational programming and reports on
recent work in Waterloo on combining functional with
relational programming.