Re: GNU prolog is not so reliable as SWI-prolog

Richard Hagen wrote:

It's obvious from your posts that you have no idea about Prolog. I
I am a Turbo Prologer .
I have been working with that for about fifteen years.

suspect that you know little or nothing about computing, and little or
nothing about programming languages. Please refrain from posting here
Yes , I confess that besides Turbo Prolog, I know little about
programming language other than Forth and Lisp.
Eg , I am not familiar with C/C++. I know almost nothing
about Java.

until you've bothered to read and understand something about what
you're posting about.

You mean the following text from the manual ?
----
the variable E with the new size. For instance to allocate 8192 Kb to
the local stack under a Unix shell use:
LOCALSZ=8192; export LOCALS (under sh or bash)
setenv LOCALSZ 8192 (under csh or tcsh)
----
But my operating system is win98 ,.

Did you bother to read the GNU manual before making your ignorant
recommendation? You certainly didn't bother looking at the SWI
documentation before posting here.

I didn't read the SWI documentation , either .
But the SWI prolog just can do well without needing manipulation .
For a person just to find a handy tool , which do you think he will
choose?
The answer is obvious.

Did you even bother to think about what might be going on in a program
execution -- in Prolog or any other language -- that has a recursive
depth of 1 000 000 000 calls?

OK , I explain that.
I prefer recursion to for-loop , because I can write program more
fluently
with it. But in almost all the language I have ever used, the
limitation is
quite severe . For TURBO Prolog , the limitation is around 1500 times .
Thus while I find that SWI prolog can do recursion almost limitlessly ,
I am
suprisingly happy .
But I don't think SWI prolog does real recusion , I think it just
gets a
mechanism for optimization to for-loop. Just looking at the number, one
billion,
you will know that. My computer just gets memory of hundreds of Megas.
How can it get Gigas of memory for recursive stack ? Impossible .
Thus the problem of GNU prolog is not stack size. It is the lack of
optimization
like SWI's. Do you think the manual can help this problem ? How ? I am
happy
to learn.

.

Relevant Pages

  • Re: free (or free variant) of Prolog for newbie
    ... I can't really recommend GNU Prolog for this task, due to lack of a heap ... Visual Prolog is not Prolog. ... If you're willing to consider logic programming languages other than Prolog, ... I would strongly recommend Mercury. ...
    (comp.lang.prolog)
  • Re: .Net & SWI Prolog
    ... Setting up SWI Prolog as a TCP server, and use a TCP socket connection from ... Using SWI-Prolog's inbuilt HTTP server (though this may not be suitable for ...
    (comp.lang.prolog)
  • Re: Joining an open source project based on PROLOG.
    ... Select 'Programming Languages' under the 'Browse by:' heading, then 'prolog' under the 'Programming Languages' heading. ... Prolog+CG - Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph theory of John Sowa. ...
    (comp.lang.prolog)
  • Re: Programming Newbie: Ruby or Java?
    ... I've had to learn Lisp/Scheme and Prolog. ... I would *really* like to believe that having experience with Lisp and Prolog will make you a better programmer, even if you are not using a functional or logic language. ... Spending some time with a variety of programming languages is important for the same reason one should learn a foreign language and read fictional literature: It helps you understand and imagine how things might otherwise be, which is essential for understanding what is. ... http://www.rubystuff.com - The Ruby Store for Ruby Stuff http://www.jamesbritt.com - Playing with Better Toys http://www.30secondrule.com - Building Better Tools ...
    (comp.lang.ruby)
  • (HS) a new xemacs mode for swi-prolog
    ... I was fed up with the old xemacs's prolog mode so I found the one linked ... in the swi prolog but it didn't work out of the box so I hacked it a ... FuncMenu and a lot of stuff for Latex Editing and Camel Editing mode, ... Feel free to add the mercury mode into the new prolog.el because I ...
    (comp.lang.prolog)