Path: ...!npeer.as286.net!npeer-ng0.as286.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.python
Subject: =?UTF-8?Q?Compiling_=ce=bb-Prolog_in_Dogelog_Player_=28Was:_ANN:_Do?=
 =?UTF-8?Q?gelog_Player_1.2.4=29?=
Date: Sat, 16 Nov 2024 08:22:15 +0100
Message-ID: <vh9h76$8es1$1@solani.org>
References: <vg5oou$cig5$2@solani.org> <vgi6ab$9n2c$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 16 Nov 2024 07:22:14 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="277377"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.19
Cancel-Lock: sha1:l2O9P+PTp4xsTFINC9f/cWbXEUA=
In-Reply-To: <vgi6ab$9n2c$3@solani.org>
X-User-ID: eJwNycEBwCAIA8CVjEKw4wCa/Uew9z1fBDuMTnO58ioXiOJpSK2JmWEtVvq4CYPNofF17wirf8KFcwtd0H579xaX
Bytes: 1810
Lines: 22


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