Re: repeating groups

From: mAsterdam <>
Date: Tue, 21 Feb 2006 18:59:37 +0100
Message-ID: <43fb5506$0$11076$>

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 - 18:59:37 CET

Original text of this message