Prolog Pearls II: Barklund and Millroth (Was: PIPs from the Basilisk Chamber)

Liste des GroupesRevenir à cl prolog 
Sujet : Prolog Pearls II: Barklund and Millroth (Was: PIPs from the Basilisk Chamber)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 08. Nov 2024, 15:29:17
Autres entêtes
Message-ID : <vgl77s$beg9$1@solani.org>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.19
Hi,
Okay, there is another one. Now we are getting
closer to change_arg/3, the physical representation
of what was omitted in the previous paper
now becomes a face. But its not really change_arg/3.
What they try here is still multi versioned,
so its more a change_arg/4. Maybe SWI-Prolog has
something like this somewhere? I had setarg/4
in formerly Jekejeke Prolog:
Integrating Complex Data Structures in Prolog
A number of data structures, primitive operations on
them (which could not have been efficiently coded in
Prolog) and various ways of integrating them in
Edinburgh Prolog without destroying its
uniformity are proposed.
Jonas Barklund and Hakan Millroth - 1987
International Conference on Spoken Language Processing},
https://www2.it.uu.se/research/csd/reports/0042.pdf
Bye
Mild Shock schrieb:
Hi,
 Interestingly in the old times, Prolog dicts that
are functional datastructures were called
multiple version hash tables (MVIIT):
 Hash Tables in Logic Programming
The paper gives informal semantics for hash tables
as partial functions on logical terms for Prolog's
Horn clause language, and the implementation has been
used in Tricia, an implementation of Prolog
developed at Uppsala University.
Jonas Barklund and Hakan Millroth,
International Conference on Logic Programming 1987,
https://www2.it.uu.se/research/csd/reports/0040.pdf
 Oki Doki
 Bye
 Mild Shock schrieb:
Hi,
>
How did the basilisk lived so long at the chamber of
secrets? I always just figured they were excellent at
hibernating and only awoke once called for.
>
How it started:
>
 > We hope that a collection of PIPs will
increase the visibility of Prolog and its growth.
https://prolog-lang.pages.software.imdea.org/implementors-forum/FAQ.html
>
How its going:
>
11:00-11:15 Proposal: Binary prefix operators. Presenter: François Fages
11:15-11:30 Proposal: CSV interface. Presenter: Daniel Jurjo
https://prolog-lang.org/ImplementersForum/PIPWorkshop2024.html
>
These talks will possibly be published in some
Spinger Journal behind a paywall right?
>
Nobody has seen these PIPs elsewhere so far.
>
Bye
 

Date Sujet#  Auteur
29 Sep 24 * PIPs from the Basilisk Chamber (Was: 50 Years of Prolog Nonsense)7Mild Shock
8 Nov 24 +* Prolog Pearls I: Barklund and Millroth (Was: PIPs from the Basilisk Chamber)4Mild Shock
8 Nov 24 i`* Prolog Pearls II: Barklund and Millroth (Was: PIPs from the Basilisk Chamber)3Mild Shock
8 Nov 24 i `* change_arg/3 = nb_linkarg/3 ? (Was: PIPs from the Basilisk Chamber)2Mild Shock
8 Nov 24 i  `- Re: change_arg/3 = nb_linkarg/3 ? (Was: PIPs from the Basilisk Chamber)1Mild Shock
9 Nov 24 `* Re: PIPs from the Basilisk Chamber (Was: 50 Years of Prolog Nonsense)2Mild Shock
9 Nov 24  `- Re: PIPs from the Basilisk Chamber (Was: 50 Years of Prolog Nonsense)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal