Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.javascript > #124377
| Path | csiph.com!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.javascript |
| Subject | Compiling λ-Prolog in Dogelog Player (Re: ANN: Dogelog Player 1.2.4) |
| Date | Sat, 16 Nov 2024 08:23:11 +0100 |
| Message-ID | <vh9h8u$8es1$2@solani.org> (permalink) |
| References | <vg5opm$cig5$3@solani.org> <vgi67u$9n2c$2@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:23:10 -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:W52u0xbLGv0mUiTbTB37pFC2s4s= |
| In-Reply-To | <vgi67u$9n2c$2@solani.org> |
| X-User-ID | eJwFwYEBwCAIA7CXQErRc4bS/09YkkHnLTCJVKo5CznuzSedO72+0JKhJwwqHoKVj6zPWu5Wdfn2IGSbP2O7FWw= |
| Xref | csiph.com comp.lang.javascript:124377 |
Show key headers only | 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
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