Compiling λ-Prolog in Dogelog Player (Re: ANN: Dogelog Player 1.2.4)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.javascript
Subject	Compiling λ-Prolog in Dogelog Player (Re: ANN: Dogelog Player 1.2.4)
Date	2024-11-16 08:23 +0100
Message-ID	<vh9h8u$8es1$2@solani.org> (permalink)
References	<vg5opm$cig5$3@solani.org> <vgi67u$9n2c$2@solani.org>

Show all headers | View raw

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

Back to comp.lang.javascript | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable) Mild Shock <janburse@fastmail.fm> - 2024-11-02 18:50 +0100
  Re: ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable) Mild Shock <janburse@fastmail.fm> - 2024-11-07 11:53 +0100
    Compiling λ-Prolog in Dogelog Player (Re: ANN: Dogelog Player 1.2.4) Mild Shock <janburse@fastmail.fm> - 2024-11-16 08:23 +0100
  Re: F***ing moron failed to scrap website - Dec, 2024 Mild Shock <janburse@fastmail.fm> - 2024-11-18 20:28 +0100
  Anomaly Detection with Dogelog Payer (Was: ANN: Dogelog Player 1.2.4) Mild Shock <janburse@fastmail.fm> - 2024-11-23 02:37 +0100
  Re: ANN: Dogelog Player 1.2.4 (Non-Backtracking Hashtable) Mild Shock <janburse@fastmail.fm> - 2024-12-04 23:48 +0100

csiph-web