ylfink@water.UUCP (07/23/87)
DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES
LOGIC PROGRAMMING SEMINAR
- Wednesday, July 29, 1987
Mr. K. Yukawa, a graduate student of this department
will speak on ``The Semantics of Logic Programs with
Equality''.
TIME: 1:30 PM
ROOM: MC 6081F
ABSTRACT
In 1976, van Emden and Kowalski published the paper
``The Semantics of Predicate Logic as a Programming
Language'', investigating the model-theoretic,
fixpoint, and operational semantics of Horn clause
logic programs. This paper established some important
results, such as the existence of the least Herbrand
model of a logic program and its equality to the least
fixpoint of the function associated with the logic
program, which have been used by various researchers
since then.
In this talk I will generalize the van Emden-Kowalski
semantics of Horn clause logic programs to deal with
equality, adopting the special kind of interpretation
for clausal logic with equality due to J.A. Robinson
and to G. Robinson and Wos.
The first half of the talk will be an exposition of the
van Emden-Kowalski semantics of logic programs.