Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!samsung!munnari.oz.au!goanna!ok
From: ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: OOP vs Logic Programming II
Keywords: OOP, Logic Programming, Prolog
Message-ID: <3344@goanna.cs.rmit.oz.au>
Date: 30 Jun 90 08:03:37 GMT
References: <1990Jun29.123957.16727@eua.ericsson.se>
Distribution: comp.lang.prolog
Organization: Comp Sci, RMIT, Melbourne, Australia
Lines: 32

In article <1990Jun29.123957.16727@eua.ericsson.se>, euakan@eua.ericsson.se (Theo.Kanter) writes:
> THEORY?
> Ulrich N. (below) reminded me of one aspect of the OO paradigm. 
> Namely, that objects have states. Now, neither mathematical logic or 
> lambda calculus on which we try to base pure logical and functional languages
>  provide for something called states. It seems to me that something is 
> missing here, and that concurrency as in GHC and the like has little to do 
> with it. 

It depends on what you mean by "mathematical logic".
There are quite a few temporal logics, and dynamic logic is as mathematical
as you please.

Two books which I bought a couple of months ago finally arrived.

	From Standard Logic to Logic Programming,
	Introducing a Logic Based Approach to Artificial Intelligence
	ed. A. Thayse
	Wiley, Chichester, 1988

	From Modal Logic to Deductive Databases,
	Introducing a Logic Based Approach to Artificial Intelligence
	ed. A. Thayse
	Wiley, Chichester, 1989.

I haven't had a chance to get very far through them yet, but I can tell
you right now that the review I'm going to post to this newsgroup when
I get back from my vacation is going to be _very_ positive.  If you
don't already know about dynamic logic (the basis of the Manchandra &
Warren approach to "logical updates") this is a painless place to find out.
-- 
"private morality" is an oxymoron, like "peaceful war".