Re: ASSERT in SWI Prolog

On Fri, 18 Aug 2006 01:43:59 +0000 (UTC), russell kym horsell
<kym@xxxxxxxxxxxxxxxxxxx> wrote:



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.


What programs?..

Removing the dependence on order has the obvious information-theoretic
implication.

Specifically?...

A.L.
.

Relevant Pages

  • Re: Is Prolog good for AI? (was: Minsky still posting)
    ... > than a programming language suitable for large scale direct human use. ... but it was Prolog nor AI. ... >> than most other languages. ... PHP because it solves a very specific problem. ...
    (comp.lang.prolog)
  • Re: Sublists question
    ... I do not really get what the predicate means or does. ... >>helps just to write the predicate out clearly in natural language, ... >>then translate into Prolog. ... more as a functional programming language than as a logic ...
    (comp.lang.prolog)
  • Hear Ye, Hear Ye, Hear Ye...
    ... and Imposium on the First Annual N Queens in Prolog ... Programming Conference and Review. ... The Chair will hear proposals on what to call the ... The Chair will be competing under the Initiate title, ...
    (comp.lang.prolog)
  • Re: A few questions about Prolog...
    ... few Prolog implementations, and would appreciate if the community ... SWI-Prolog uses a lot of memory for stacks? ... unexpected is behavior of your program caused by programming error. ...
    (comp.lang.prolog)
  • Re: Parallel Prolog
    ... programming language rather than "parallel Prolog". ... could legitimately be called "parallel Prolog", ... speedup is greater than predicted"? ...
    (comp.lang.prolog)