Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #14762

ECliPSe Prolog not a SuperProlog (Was: There is something like SuperPrologs ? [SWI, ECLiPSe, etc..])

Show all headers | View raw

Hi,

Woa! ECliPSe Prolog isn't well versed in
cyclic terms. It even gets into a state where
it cannot be anymore interrupted:

[eclipse 1]: X = f(X), Y = f(Y), X == Y.

Interrupt: [a]bort [b]reak [c]ontinue [e]ngines e[x]it ? [a]bort
Posting abort to running engine 1
Abort
[eclipse 2]: X = f(X), Y = f(Y), X = Y.

Interrupt: [a]bort [b]reak [c]ontinue [e]ngines e[x]it ? [a]bort
Posting abort to running engine 1
Abort
[eclipse 3]: X = f(X), Y = f(Y), compare(_, X, Y).

Interrupt: [a]bort [b]reak [c]ontinue [e]ngines e[x]it ? [a]bort
Posting abort to running engine 1

Where is the Abort from looping compare/3?
SWI Prolog terminates in all 3 calls. Although
the result it gives via compare/3 is sometimes

not very satisfying.

Bye

Mild Shock schrieb:
> I have no useful advice in writing portable
> Prolog code. There is also the concept of dialects
> and dialect modules, implemented by SWI-Prolog,
> 
> ECLiPSe Prolog, etc.. You can declare a module
> written in some dialect:
> 
> :- module(+Module, +PublicList, +Dialect)
> https://www.swi-prolog.org/pldoc/doc_for?object=module/3
> 
> I think Logtalk cannot do this. Logtalk would require
> that you convert your code to Logtalk, where as
> the dialect approach requires you do nothing.
> 
> Logtalk has the stance that a dialect sits in the
> backend and not in the front end. Its not a
> SuperProlog, it only has this idea:
> 
> prolog_dialect
> Identifier of the backend Prolog compiler (an atom).
> This flag can be used for conditional compilation of
> Prolog compiler specific code.
> https://logtalk.org/manuals/userman/programming.html#compiler-flags

Back to comp.lang.prolog | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

comp.lang.prolog Frequently Asked Questions Markus Triska <triska@logic.at> - 2024-11-16 05:58 +0000
  Amzi! Retirement: 2026 is only next year (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:11 +0200
    What does the "Red Tape" on Wayback Machine mean? (Was: Amzi! Retirement: 2026 is only next year) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:14 +0200
      Prolog can keep up with the AI Boom [Forget about CLAM] (Was: What does the "Red Tape" on Wayback Machine mean?) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:27 +0200
        The cult of CLAM / Clojure rewrite utility (Was: Prolog can keep up with the AI Boom [Forget about CLAM]) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:43 +0200
          Australian Longest Straight Road in Prolog (Was: Clojure hasn't gained momentum [Martin Odersky 2025 Talk]) Mild Shock <janburse@fastmail.fm> - 2025-07-14 16:11 +0200
            Can CLAM do bidrectional rounding? (Was: Australian Longest Straight Road in Prolog) Mild Shock <janburse@fastmail.fm> - 2025-07-14 16:15 +0200
              Pointed intervals to the rescue [Make CLAM great again] (Was: Can CLAM do bidrectional rounding?) Mild Shock <janburse@fastmail.fm> - 2025-07-15 01:26 +0200
                Corr. Re: Pointed intervals to the rescue [Make CLAM great again] (Was: Can CLAM do bidrectional rounding?) Mild Shock <janburse@fastmail.fm> - 2025-07-15 01:28 +0200
        Sleepy Joe SWI-Prolog still waiting for a PR (Was: Prolog can keep up with the AI Boom [Forget about CLAM]) Mild Shock <janburse@fastmail.fm> - 2025-11-12 01:26 +0100
          deep preprocessor =\= term_expansion and/or goal_expansion [SWI-Prolog dicts] Mild Shock <janburse@fastmail.fm> - 2025-11-12 02:18 +0100
  There is something like SuperPrologs ? [SWI, ECLiPSe, etc..] (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2025-07-15 13:24 +0200
    Is ISO itself not simply a dialect? (Was: There is something like SuperPrologs ? [SWI, ECLiPSe, etc..]) Mild Shock <janburse@fastmail.fm> - 2025-07-15 13:26 +0200
      Pet project Prolog-Omnibus I don't have any time (Was: Is ISO itself not simply a dialect?) Mild Shock <janburse@fastmail.fm> - 2025-07-15 13:31 +0200
      ANN: Go Fund Me for ISO Core Standard of Prolog (Re: Is ISO itself not simply a dialect?) Mild Shock <janburse@fastmail.fm> - 2025-10-09 18:10 +0200
        Fuck Around and Find Out : SWI-Prolog Forum [Newline FAFO] (Was: ANN: Go Fund Me for ISO Core Standard of Prolog) Mild Shock <janburse@fastmail.fm> - 2025-10-10 09:36 +0200
          Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum) Mild Shock <janburse@fastmail.fm> - 2025-10-10 09:48 +0200
            Moron @jp-diegidio clueless about Unicode (UAX#14) [Re: Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum) Mild Shock <janburse@fastmail.fm> - 2025-10-10 10:22 +0200
    ECliPSe Prolog not a SuperProlog (Was: There is something like SuperPrologs ? [SWI, ECLiPSe, etc..]) Mild Shock <janburse@fastmail.fm> - 2025-08-06 08:30 +0200

csiph-web