Re: The longest pregnancy in the history of Prolog ~~> DCGs (Was: A harsh wind is blowing into the face of Prolog now…)

Amazing Ciao Prolog can do it correctly.
Even if the mode “fy” is correctly honored, it
might nevertheless be a challenge. Since for
example this here works also, note
the space inside the empty list atom:
/* Ciao Prolog 1.23.0 */
?- op( 100, fy, []).
yes
?- X = [ ] p.
X = []p ?
https://ciao-lang.org/playground/
Took me a while to figure out how to do it.
But its rather straight forward to do. You
find it in the source code of Novacore.
Mild Shock schrieb:

Another issue is that ISO Prolog doesn’t
have a reference implementation 100% written
in Prolog itself. Like for example the term
reading and writing. Now we have the situation
 that no Prolog system can do these TPTP modal
logic operators and TPTP first order logic
quantifers at the same time:
 /* Segerberg Models */
:- op( 600, fy, !).     % universal quantifier:  ![X]:
:- op( 600, fy, ?).     % existential quantifier:  ?[X]:
:- op( 600, fy, []).    % necessity
:- op( 600, fy, <>).    % possibility
 But the above works in Dogelog Player. It doesn’t
work in SWI-Prolog, neither in Trealla Prolog,
neither in Scryer Prolog. Some Prolog systems have
 problems with !, other Prolog systems have problems
with []. The parsing is admittedly a little tricky but
after some thinking it turns out relatively straight
 forward doable.
 Mild Shock schrieb:

>
Scryer Prolog is not the only dead Prolog around.
Like 12 months ago or so, I mentioned in passing
to @joseph-vidal-rosset , because he used Tau Prolog
>
on his web site, that Tau Prolog will be dead as soon
as the authors get their academic merits. And I guess
this is indeed the case, their GitHub is inactive
>
for at least 12 months now. But then some people still
include it in their testing, maybe this is a sign of a little
desperation, of finding Prolog system interested
>
in ISO nonsense?
>
Modified: Samstag, 6. Juli 2024, 07:53:05
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase
>
The main problem with ISO Prolog is, that it is not
enough reduced to the max.