Re: golog in minipicolisp
Hi Alex, If I had taken yours and Yiorgos advice and read these two articles *before* doing the swi-prolog to pilog translation it might have cleared some things up I was guessing about. http://en.wikipedia.org/wiki/Situation_calculus http://drops.dagstuhl.de/opus/volltexte/2010/2631/pdf/10081.Ferrein.2631.pdf Sill some issues there, but I am very optimistic. Starting at 120kb or so, people can embed golog with minipicolisp/pilog into systems. And I have an application that will be fun, I think, to use this approach in. :-) Cheers, Doug --- On Sun, 6/26/11, Alexander 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 more. Some loose ends still, but promising. - > Doug) > > Cool. Bravo! > -- > UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe > -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
Re: golog in minipicolisp
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
Re: golog in minipicolisp
--- 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 @X @W I mean: (be isAtom (@A) (not (or (equal @A (Neg @W)) (equal @A (And @W1 @W2)) (equal @A (If @W1 @W2)) (equal @A (Is @W1 @W2)) (equal @A (Or @W1 @W2)) (equal @A (some @X @W)) (equal @A (all @X @W) :-) -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
Re: golog in minipicolisp ?
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, 2011, 3:07 AM > 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.cs.toronto.edu/kr/publications/GOLOGlang.pdf > > > -- > http://gr.linkedin.com/in/yiorgos > -- > UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe > -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
Re: golog in minipicolisp ?
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.cs.toronto.edu/kr/publications/GOLOGlang.pdf -- http://gr.linkedin.com/in/yiorgos -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
Re: golog in minipicolisp ?
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 the Situation > Calculus are closely related, it might be better to work directly in > picolisp rather than trying to adapt a Prolog implementation into > pilog. I would second that. Concerning the implementations in "gologinterpreter.pl" and "golog_swi.pl": The operator definitions with 'op' are not available in Pilog, though I could imagine they can be emulated. I must say that for me personally it is difficult to understand what that code does, especially without knowing Golog. I have problems to read "real" Prolog, as I never used it. What does the '-' syntax mean? Negation? But there is also 'not' ... There are many predicates I don't know, e.g. '?', 'proc', 'star', 'while', 'pi', 'primitive_action' etc. Are they built-in? Perhaps someone with a better knowledge of Prolog (Clemens?) can help? Cheers, - Alex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
Re: golog in minipicolisp ?
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 related, it might be better to work directly in picolisp rather than trying to adapt a Prolog implementation into pilog. Just my $0.02 -- http://gr.linkedin.com/in/yiorgos -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe