Compiling λ-Prolog in Dogelog Player (Was: ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable))

Liste des GroupesRevenir à cl prolog 
Sujet : Compiling λ-Prolog in Dogelog Player (Was: ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable))
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 16. Nov 2024, 08:17:58
Autres entêtes
Message-ID : <vh9gv5$8eku$1@solani.org>
References : 1 2
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.19
Dogelog Player is a Prolog system written in 100%
Prolog. We discovered that XSB Prolog provides an
interesting predicate unnumbervars/3 which we
recently ported to Dogelog Player. Together with
numbervars/3 it can be used to compile and
execute λ-Prolog.
We moved from Prolog to λ-Prolog without overdoing
it. Our only concession to lambda calculus was
alpha conversion to avoid variable clashes. We
could not only demonstrate “what-if” queries, but
also parametrization of unchanged
predicate arguments.
See also:
Compiling λ-Prolog in Dogelog Player
https://twitter.com/dogelogch/status/1857682740411355281
Compiling λ-Prolog in Dogelog Player
https://www.facebook.com/groups/dogelog

Date Sujet#  Auteur
2 Nov 24 * ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable)10Mild Shock
4 Nov 24 +- Re: ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable)1Aleks Grabowski
7 Nov 24 +* Re: ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable)2Mild Shock
16 Nov 24 i`- Compiling λ-Prolog in Dogelog Player (Was: ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable))1Mild Shock
18 Nov 24 +* F***ing moron failed to scrap website - Dec, 20244Mild Shock
18 Nov 24 i`* Trust pilot report (Was: F***ing moron failed to scrap website - Dec, 2024)3Mild Shock
23 Nov 24 i `* Does the ISO core standard want to point to Cyprus Mafia?2Mild Shock
23 Nov 24 i  `- Still the laughing stock of the internet (Was: Does the ISO core standard want to point to Cyprus Mafia?)1Mild Shock
23 Nov 24 +- Anomaly Detection with Dogelog Payer (Was: ANN: Dogelog Player 1.2.4)1Mild Shock
4 Dec 24 `- Re: ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal