Liste des Groupes | Revenir à cl prolog |
Just look at GitHub issues and sort by "recent update".
I get for the last week the following figures:
- New tickets: 7 new tickets
- Closed tickets: 2 closed tickets
To get a turn around you the the 2nd number bigger
that the 1st number, and not the other way around.
Mild Shock schrieb:Hi,
>
I remember Robert Stärk's disappearing from
academic life at ETH Zurich all of a sudden.
Did Ulrich Neumerkel now also disappeared not
>
because the Scryer Prolog disaster, but after
he figured out that failure slices are not hip
enought? What could be more hip, are the modalities
>
of Robert Stärk's logic more hip now and even useful?
>
Automated Theorem Proving for Prolog Verification
Fred Mesnard etc.. May 2024
https://lim.univ-reunion.fr/staff/fred/Publications/24-MesnardMP-slides.pdf >
>
Disclaimer: I am not deep into this theory,
it has some ingredients that were floating around
the 80's / 80's, not only in the millieau of ETH Zurich,
>
but also in the vincinity of Gehard Jaeger, Bern.
There are many alternative formalizations that
can express termination etc.. But maybe LPTP is
>
especially suited for Prolog?
Les messages affichés proviennent d'usenet.