Newsportal USENET - Compiling λ-Prolog in Dogelog Player (Was: ANN: Dogelog Player 1.2.4)

Sujet : Compiling λ-Prolog in Dogelog Player (Was: ANN: Dogelog Player 1.2.4)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.python
Date : 16. Nov 2024, 08:22:15

Autres entêtes

Message-ID : <vh9h76$8es1$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)	5	Mild Shock
7 Nov 24	Re: ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable)	2	Mild Shock
16 Nov 24	Compiling λ-Prolog in Dogelog Player (Was: ANN: Dogelog Player 1.2.4)	1	Mild Shock
18 Nov 24	F***ing moron failed to scrap website - Dec, 2024	1	Mild Shock
23 Nov 24	Anomaly Detection with Dogelog Payer (Was: ANN: Dogelog Player 1.2.4)	1	Mild Shock