Useless as the Thirty Years War / Generalized Facts (Was: War between Scryer Prolog and Ciao Prolog)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.prolog
Subject	Useless as the Thirty Years War / Generalized Facts (Was: War between Scryer Prolog and Ciao Prolog)
Date	2025-11-19 13:11 +0100
Message-ID	<10fkc51$90qs$1@solani.org> (permalink)
References	<10bam8b$6mq5$1@solani.org> <10fkas9$asq5$1@solani.org>

Show all headers | View raw

Hi,

I suspect that this war will be as bloody
and useless as the Thirty Years war, that
ravaged Europe. The victimes will be students

that learn useless stuff, because a narrow view
of logic is offered. Not to speak of the
dangerous nonsense of "pure Prolog", adding

an adjective from "logic", i.e. pure to
a thing from "computation", i.e. Prolog. Extensions
such as Liquid Haskell or Tabled Constraints,

are as useless as well. Except if you think
your knowledge and reasoning fits into
generalized facts, as we have already studied

40 years ago based on my own ProQuel:

"Following [KKR90], we call an implication of the
form A <- c_1, & .. & C_n, (n > 0) where A is a
user-defined atom and the ci are atomic constraints
a generalized fact (generalized tuple). In order
to emphasize the special nature of generalized facts,
we will in the following often use the notation
< A | C1, ..., Cn>"
https://www.research-collection.ethz.ch/entities/publication/43d19c38-122f-43d7-a8df-82e001e55075

Have Fun everybody!

Bye

P.S.: Just make a reality check from modern
AI. How large is a context. Is a context a
generalized fact, or a collection of generalizd
facts? Or maybe something else? What is it?

How long will the generalized facts idea be at the party?

Databases and Higher Types
It maybe of interest that I did not get into this
line of work from the database side. I began with
attempts to treat various classic philosophical problems
as simply as possible in a modal context, work culminating
in [4]. This, in turn, led to an interest in higher
type modal logics, connected with a desire to understand
Godel's ontological argument. My work on this can be found in.
Databases came in, unnoticed, by a side door. But they
are at the party, and it may be they will have a good time
https://www.researchgate.net/publication/225181835

But the above is possibly too benevolent, should
be challenged by AI, and especially by generative AI.

Mild Shock schrieb:
> Hi,
> 
> This wasn't clear to me. That there is a
> veritable war going on between Scryer Prolog
> and Ciao Prolog. One protagonist
> 
> being Markus Triska, famous by the "Power
> of Prolog", and the other protagonist Manuel
> V. Hermenegildo somehow backed by the
> 
> Prolog education group (PEG) and SWI ? So who
> will win the war, and exercise world domaninance
> in constraint logic programming, based
> 
> on bogus notions such as "pure Prolog", which
> are inherently inconsistent? The war is
> mainly fought over teaching materials distributed,
> 
> less over tangible systems and applications.
> Currently I would say the clear winner is
> Markus Triska with 9 adoptions:
> 
> - As of 2018, Norbert Zeh
> - As of 2018, Andrej Bauer
> - As of 2018, José A. Alonso Jiménez
> - As of 2019, Adam Dingle
> - As of 2019, Dylan Schwesinger
> - As of 2020, Andrea Schwertner Charão
> - As of 2020, Alejandro Guerra Hernández
> - As of 2021, Ilkka Kokkarinen
> - As of 2025, Wang-Zhou Dai
> https://github.com/triska/the-power-of-prolog
> 
> So it currently stands at 9:0 for Triska
> vs Hermenegildo.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Who will win the new Prolog race?
>> SWI or Scryer? Is it enough that SWI-Prolog
>> has teamed up with Ciao Prolog?
>>
>> What about resources that really can
>> code a Prolog systems. SWI-Prolog is
>> now doomed to have professional moron
>>
>> Julio Di Egidio on board. Not sure whether
>> he will ever become a heavy committer to
>> SWI-Prolog source. But who knows, we should
>>
>> also give Julio Di Egidio a chance. My
>> gut feeling at the moment:
>>
>> - SWI-Prolog:
>>    Pull Requests 10 Open / 560 Closed
>>
>> - Scryer Prolog:
>>    Pull Requests 40 Open / 751 Closed
>>
>> In the past I would measure active committers.
>> But the new "liveness" indicator of a Prolog
>> system could be indeed Pull Requests.
>>
>> So who will win?
>>
>> P.S.: Data sources:
>>
>> https://github.com/mthom/scryer-prolog/pulls
>>
>> https://github.com/SWI-Prolog/swipl-devel/pulls
>>
>

Thread

Who will win the new Prolog race? SWI or Scryer? Mild Shock <janburse@fastmail.fm> - 2025-09-28 08:57 +0200
  The only problem is, Rust is shiiiit (Was: Who will win the new Prolog race? SWI or Scryer?) Mild Shock <janburse@fastmail.fm> - 2025-09-28 09:01 +0200
    Recent hybrid: Python beats Rust (Was: The only problem is, Rust is shiiiit) Mild Shock <janburse@fastmail.fm> - 2025-09-28 09:13 +0200
  Trealla drastically beats Scryer [Jaffar's Algorithm] (Re: Who will win the new Prolog race? SWI or Scryer? Mild Shock <janburse@fastmail.fm> - 2025-09-29 12:19 +0200
    Boris the Loris and the American Fuzzy Lop (Was: Trealla drastically beats Scryer [Jaffar's Algorithm]) Mild Shock <janburse@fastmail.fm> - 2025-09-29 12:54 +0200
      Was Boris living under a rock, how many Fuzzy Testing tools? (Was: Boris the Loris and the American Fuzzy Lop) Mild Shock <janburse@fastmail.fm> - 2025-09-29 12:59 +0200
        Not a Nazi-Retard, maybe a payed Troll on Putins payroll (Was: Was Boris living under a rock, how many Fuzzy Testing tools?) Mild Shock <janburse@fastmail.fm> - 2025-09-29 13:07 +0200
      Boris / EricGT: Why dont you tap into TAP? (Was: Boris the Loris and the American Fuzzy Lop) Mild Shock <janburse@fastmail.fm> - 2025-11-18 23:00 +0100
        Closing the abstract interpretation GAP (Re: Boris / EricGT: Why dont you tap into TAP?) Mild Shock <janburse@fastmail.fm> - 2025-11-18 23:12 +0100
    Fast, but not correct implementation (Was: Trealla drastically beats Scryer [Jaffar's Algorithm]) Mild Shock <janburse@fastmail.fm> - 2025-09-30 21:39 +0200
      Boris the Loris saw it all comming [Weak Prolog Community] (Was: Fast, but not correct implementation) Mild Shock <janburse@fastmail.fm> - 2025-09-30 21:53 +0200
  War between Scryer Prolog and Ciao Prolog [9:0 Triska vs Hermenegildo] (Was: Who will win the new Prolog race? SWI or Scryer?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 12:49 +0100
    Useless as the Thirty Years War / Generalized Facts (Was: War between Scryer Prolog and Ciao Prolog) Mild Shock <janburse@fastmail.fm> - 2025-11-19 13:11 +0100
  The Guerilla tactics of SWI are amazing: Shell India? (Was: Who will win the new Prolog race? SWI or Scryer?) Mild Shock <janburse@fastmail.fm> - 2025-11-24 15:22 +0100
    The SWI7 exotism (dicts, etc..) has no value? (Was: The Guerilla tactics of SWI are amazing: Shell India?) Mild Shock <janburse@fastmail.fm> - 2025-11-24 15:41 +0100
      My new TinyCLP is much faster [100% Prolog] (Was: The SWI7 exotism (dicts, etc..) has no value?) Mild Shock <janburse@fastmail.fm> - 2025-11-24 21:27 +0100
  Railgun CLP versus Scryer Prolog [Euler #30 Variant] (Was: Who will win the new Prolog race?) Mild Shock <janburse@fastmail.fm> - 2026-01-30 02:10 +0100

csiph-web