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

Groups > comp.lang.javascript > #40796

Re: ANN: Dogelog, Invitation to the Moon!

Newsgroups comp.lang.javascript
Date 2022-02-25 04:16 -0800
References (2 earlier) <a87fa294-97a5-419d-9a27-bbf5db27f172n@googlegroups.com> <597ccdc2-ae4d-41f5-bba9-6ceef553230cn@googlegroups.com> <st1ckp$aqgu$2@solani.org> <770e0a14-94b4-4671-9955-2b862b918d69n@googlegroups.com> <41074492-30d2-451b-9f26-46b2a0e5170en@googlegroups.com>
Message-ID <2d5ecfd1-d73c-4cbf-82ea-d868468347ebn@googlegroups.com> (permalink)
Subject Re: ANN: Dogelog, Invitation to the Moon!
From Mostowski Collapse <bursejan@gmail.com>

Show all headers | View raw

Dogelog Player has left behind the ISO core standard, and
implements living standard Prolog. What is living standard
Prolog? It aims at implementing a more flexible Prolog

than what ISO core standard prescribes, a more flexible Prolog
that reflects the reality of the majority of Prolog systems.
For example I do now have in Dogelog player:

?- op(200,fy,!).
true
?- X = foo(!).
X = foo(!).
?- X = (foo :- !).
X = (foo :- !).

http://www.xlog.ch/izytab/doclet/docs/18_live/10_reference/example01/package.html

Is this the behaviour of the majority of Prolog systems? Don't
know. Only did a sample of a few Prolog systems. SWI-Prolog
and Tau Prolog can parse the last query.

GNU Prolog and Scryer Prolog cannot parse the last query.

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

Thread

ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <bursejan@gmail.com> - 2021-12-11 13:12 -0800
  Re: ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <janburse@fastmail.fm> - 2021-12-18 13:10 +0100
    Re: ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <bursejan@gmail.com> - 2022-01-04 09:23 -0800
      Re: ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <bursejan@gmail.com> - 2022-01-21 06:21 -0800
        Re: ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <janburse@fastmail.fm> - 2022-01-28 19:28 +0100
          Re: ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <bursejan@gmail.com> - 2022-02-02 03:49 -0800
            Re: ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <bursejan@gmail.com> - 2022-02-17 08:28 -0800
              Re: ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <bursejan@gmail.com> - 2022-02-25 04:16 -0800
                Re: ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <bursejan@gmail.com> - 2022-02-25 13:36 -0800
  Re: ANN: Dogelog, Invitation to the Moon! Mostowski Collapse <janburse@fastmail.fm> - 2022-03-04 15:38 +0100

csiph-web