search

cl-model-languages / cl-prolog2

Common Interface to ISO Prolog implementations from Common Lisp
31 stars 1 forks source link

Consideration of Scryer Prolog #5

Open triska opened 4 years ago

triska commented 4 years ago

Scryer Prolog is a modern Prolog system that is written in Rust. It is syntactically fully conforming to the Prolog ISO standard and already supports various features that go even beyond the standard, such as a Boolean constraint solver and a simple module system.

Please consider a port to this system.

guicho271828 commented 4 years ago

that is super interesting, but I wish someone to do it instead. To me it is very important whether it supports tabling = Well-Founded-Semantics.

guicho271828 commented 4 years ago

in fact it should not be overly difficult to modify one of the subdirectory in this repo to support Scryer prolog.

triska commented 4 years ago

Update, for interested readers: Scryer Prolog now supports tabling, using delimited continuations! See library(tabling) and the associated paper by Desouter et. al.:

https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/tabling-as-a-library-with-delimited-control/227B7C0227FD715CF159B6AF894DE96E