Sure ... (and this is what Lisp-70 did also ... and a number of systems before
it, etc.)
Cheers,
Alan
>________________________________
> From: Peter C. Marks <[email protected]>
>To: Fundamentals of New Computing <[email protected]>
>Sent: Thursday, March 15, 2012 6:09 AM
>Subject: Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)
>
>
>
>WRT: patterns, I wonder if the list is aware of the work by Barry Jay with his
>Pattern Calculus, wherein he introduces patterns as first class citizens at
>the lambda level.
>
>
>Peter
>
>
>
>On Thu, Mar 15, 2012 at 8:23 AM, Alan Kay <[email protected]> wrote:
>
>You don't want to use assert because it doesn't get undone during
>backtracking. Look at the Alex Warth et al "Worlds" paper on the Viewpoints
>site to see a better way to do this. (This is an outgrowth of the "labeled
>situations" idea of McCarthy in 1963.)
>>
>>
>>Cheers,
>>
>>
>>Alan
>>
>>
>>
>>
>>>________________________________
>>> From: Ryan Mitchley <[email protected]>
>>>
>>>To: Fundamentals of New Computing <[email protected]>
>>>Sent: Thursday, March 15, 2012 5:02 AM
>>>Subject: Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)
>>>
>>>
>>>On 15/03/2012 13:01, Ryan Mitchley wrote:
>>>> It still doesn't fit well with a procedural model, in common with Prolog,
>>>>though.
>>>>
>>>>
>>>
>>>Although, it has to be said that a procedural approach can be faked with a
>>>combination of assertion and forward chaining.
>>>
>>>e.g.
>>>
>>>IsASquare(X, Y) iff line(X, blah), angle(blahblah) etc.
>>>assert IsASquare(100, 200).
>>>(System goes ahead and forward chains all of the subgoals, asserting facts
>>>and creating a square as specified. Excuse the made-up syntax.)
>>>
>>>Forward chaining doesn't come standard with micro-PROLOG (or Prolog), but
>>>can be added.
>>>
>>>
>>>Disclaimer: http://www.peralex.com/disclaimer.html
>>>
>>>
>>>_______________________________________________
>>>fonc mailing list
>>>[email protected]
>>>http://vpri.org/mailman/listinfo/fonc
>>>
>>>
>>>
>>_______________________________________________
>>fonc mailing list
>>[email protected]
>>http://vpri.org/mailman/listinfo/fonc
>>
>>
>
>_______________________________________________
>fonc mailing list
>[email protected]
>http://vpri.org/mailman/listinfo/fonc
>
>
>
_______________________________________________
fonc mailing list
[email protected]
http://vpri.org/mailman/listinfo/fonc
