Re: repeating groups

From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Tue, 21 Feb 2006 18:59:37 +0100
Message-ID: <43fb5506$0$11076$e4fe514c@news.xs4all.nl>

Marshall Spight wrote:
> x wrote:
>

>>Marshall Spight wrote:
>>
>>>dawn wrote:
>>
>>>>I always thought of programming as writing proofs.
>>>
>>>I wish it was *more* like writing proofs.
>>
>>I wish it was more like stating the problem, not the proof.

>
> Uh, yeah. That's what I meant to say.
>
> It should be more like stating theorems, and having the compiler
> prove them or disprove them.

That is the prolog way. Received on Tue Feb 21 2006 - 11:59:37 CST