[ont.events] The Semantics of Logic Programs with Equality.

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.