Burger wrote:
> From: Alexander Burger
> Subject: Re: golog in minipicolisp
> To: picolisp@software-lab.de
> Date: Sunday, June 26, 2011, 11:50 AM
> On Sun, Jun 26, 2011 at 01:44:33AM
> -0700, Doug Snead wrote:
> > (It looks not so bad, once I studied golog_swi.pl a
> bit
On Sun, Jun 26, 2011 at 01:44:33AM -0700, Doug Snead wrote:
> (It looks not so bad, once I studied golog_swi.pl a bit more. Some loose ends
> still, but promising. - Doug)
Cool. Bravo!
--
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
--- On Sun, 6/26/11, Doug Snead wrote:
> (be isAtom (@A) (not (equal @A (Neg @W)))
> (or (equal @A (And @W1 @W2)))
> (or (equal @A (If @W1 @W2)))
> (or (equal @A
> (Is @W1 @W2)))
> (or (equal @A (Or @W1 @W2)))
> (or (equal @A (some @X @W)))
> (or (equal @A (all @
Yiorgos, Alexander:
Thanks for the info. Unfortunately, not so straightforward as I had hoped.
Doug
--- On Fri, 6/17/11, Yiorgos Adamopoulos wrote:
> From: Yiorgos Adamopoulos
> Subject: Re: golog in minipicolisp ?
> To: picolisp@software-lab.de
> Date: Friday, June 17, 2
On Fri, Jun 17, 2011 at 10:37 AM, Alexander Burger wrote:
>> Levesque, H. J., Reiter, R., Lespérance, Y., Lin, F., & Scherl, R. B.
>> (1997). GOLOG: A Logic Programming Language for Dynamic Domains.
>> Journal of Logic Programming, 31(1-3), 59-83
>
> Can this be found online somewhere?
http://www
Hi Doug, Yiorgos,
> Levesque, H. J., Reiter, R., Lespérance, Y., Lin, F., & Scherl, R. B.
> (1997). GOLOG: A Logic Programming Language for Dynamic Domains.
> Journal of Logic Programming, 31(1-3), 59-83
Can this be found online somewhere?
> It is based on the Situation Calculus. Since Lisp and
GOLOG is described in:
Levesque, H. J., Reiter, R., Lespérance, Y., Lin, F., & Scherl, R. B.
(1997). GOLOG: A Logic Programming Language for Dynamic Domains.
Journal of Logic Programming, 31(1-3), 59-83
It is based on the Situation Calculus. Since Lisp and the Situation
Calculus are closely relat
