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

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.