Re: ASSERT in SWI Prolog

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.L.
.