Re: ASSERT in SWI Prolog

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.
You *must* be able to have some control over it.

Of course there is some quiblle about your use of facts and mine.
You may mean "facts with unrelated functors", while I'm talking about
facts with the same functor.

Relevant to the OP, there is *some* way to re-arrange a sequence of facts
as they require. It is a typical intro-level question as you mind find in
a book or course. It is by no means "impossible because you can't change
the immutable, machine-dictated order of facts".

.