From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!uunet!mcsun!unido!ecrc!ecrc!norbert Tue Feb 11 15:25:36 EST 1992
Article 3572 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai:2075 comp.ai.edu:235 comp.ai.philosophy:3572
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!uunet!mcsun!unido!ecrc!ecrc!norbert
>From: norbert@ecrc.de (Norbert Eisinger)
Newsgroups: aus.ai,comp.ai,comp.ai.edu,comp.ai.philosophy
Subject: Re: The procedural/declarative representation debate
Message-ID: <1992Feb7.092145.28908@ecrc.de>
Date: 7 Feb 92 09:21:45 GMT
References: <1992Feb5.030936.1383@usage.csd.unsw.OZ.AU>
Sender: news@ecrc.de
Reply-To: norbert@ecrc.de (Norbert Eisinger)
Organization: ecrc
Lines: 9

To some extent, the procedural vs. declarative positions 
have come to a synthesis in logic programming. If knowledge 
is represented by (purely logical) clauses, these clauses
have a procedural semantics given by the interpreter,
and the usual declarative semantics of predicate logic.
The two sematics are equivalent, and one may read the
clauses either way.

Norbert Eisinger


