Re: ASSERT in SWI Prolog
- From: russell kym horsell <kym@xxxxxxxxxxxxxxxxxxx>
- Date: Fri, 18 Aug 2006 01:43:59 +0000 (UTC)
A.L. <alewando@xxxxxxxxxxxx> wrote:
} On Thu, 17 Aug 2006 07:29:42 +0000 (UTC), russell kym horsell
} <kym@xxxxxxxxxxxxxxxxxxx> wrote:
} >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. ;)
} If
} >} >Programs can critically depend on the (search) order of facts.
} then there is something wrong with these programs. Switch from
} Prolog to C++ or even better, C. Or, maybe, BASIC.
I know you *think* you are saying something profound. :)
But Prolog is not a declarative language. It is a *programming* language.
Order of conjuncts generally matters, despite some work in the past 30 years to
make it not matter so much. The order of clauses matters.
And the order of related facts matters.
The termination of almost all extant programs (considering most were not
written in the past 5 years) depends on such things.
Removing the dependence on order has the obvious information-theoretic
implication.
If you want a declarative language, I'm sure the folks at MU won't mind me
plugging Mercury. Maybe there's a group for it, even. :)
.
- 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 .
- 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
|
|
