Re: ASSERT in SWI Prolog
- From: russell kym horsell <kym@xxxxxxxxxxxxxxxxxxx>
- Date: Thu, 17 Aug 2006 07:29:42 +0000 (UTC)
A.L. <alewando@xxxxxxxxxxxx> wrote:
} On Wed, 16 Aug 2006 09:24:28 +0000 (UTC), russell kym horsell
} <kym@xxxxxxxxxxxxxxxxxxx> wrote:
} >Advait <advait_raut@xxxxxxxxxxxxxx> wrote:
} >> You cannot have control on the order of facts.
} >> Test this ...
} >[...]
} >Eh? "All facts"? I notice your claim is not qualified with a "some".
} >There is some (in?)famous saying along the lines of:
} >"If a scientist researches all of the relevant data and papers
} >on a topic, and declares that something is `impossible', they are
} >most likely wrong."
} >Programs can critically depend on the (search) order of facts.
} Then you are using Prolog to write Pascal program
A deduction and conclusion as equally valid and unambiguous as your first. ;)
.
- Follow-Ups:
- Re: ASSERT in SWI Prolog
- From: A . L .
- Re: ASSERT in SWI Prolog
- References:
- ASSERT in SWI Prolog
- From: Mika
- Re: ASSERT in SWI Prolog
- From: Advait
- Re: ASSERT in SWI Prolog
- From: russell kym horsell
- Re: ASSERT in SWI Prolog
- From: A . L .
- ASSERT in SWI Prolog
- Prev by Date: Re: ASSERT in SWI Prolog
- Next by Date: Re: ASSERT in SWI Prolog
- Previous by thread: Re: ASSERT in SWI Prolog
- Next by thread: Re: ASSERT in SWI Prolog
- Index(es):
Relevant Pages
|
