Bug#1009086: RFP: scryer-prolog - An open-Source industrial strength production prolog implementation

[Philipp Marek]

Package: wnpp
Severity: wishlist

Package name : scryer-prolog
Version : 0.9.0
Upstream Author : Mark Thom <***@gmail.com>
URL : https://github.com/mthom/scryer-prolog
License : BSD-3-Clause License
Programming Lang: Rust
Description : An open-Source industrial strength production prolog
implementation


Scryer Prolog aims to become to ISO Prolog what GHC is to Haskell: an
open source industrial strength production environment that is also a
testbed for bleeding edge research in logic and constraint programming,
which is itself written in a high-level language.

Phase 1:
Produce an implementation of the Warren Abstract Machine in Rust, done
according to the progression of languages in Warren's Abstract Machine:
A Tutorial Reconstruction.

Phase 1 has been completed in that Scryer Prolog implements in some form
all of the WAM book, including lists, cuts, Debray allocation, first
argument indexing, last call optimization and conjunctive queries.

[Jonas Smedegaard]

Snapshot at 2024-10-29 following release 0.9.4 succesfully builds
as an unofficial draft package,
when embedding 23 crates (22 missing, 1 outdated)
which needs to be packaged before this can officially enter Debian.
The built binary runs and works fine.

Main task now is to package the remaining missing Rust crates.

Here's how you can help:

As user running Debian, you can test this draft package:
Either build it yourself from source,
or if you want to test the binary that I've built
then tell by posting to this bugreport and I will share that.

As developer (any developer: you need not be official member of Debian!)
you can join the Debian Rust team and help package these missing crates:
https://salsa.debian.org/debian/scryer-prolog/-/blob/debian/latest/debian/TODO

- Jonas

[Jonas Smedegaard]

Snapshot at 2024-10-29 following release 0.9.4 succesfully builds
as an unofficial draft package,
when embedding 21 crates (20 missing, 1 outdated)
which needs to be packaged before this can officially enter Debian.
The built binary runs and works fine.

Main task now is to package the remaining missing Rust crates.

Here's how you can help:

As user running Debian, you can test this draft package:
Either build it yourself from source,
or if you want to test the binary that I've built
then tell by posting to this bugreport and I will share that.

As developer (any developer: you need not be official member of Debian!)
you can join the Debian Rust team and help package these missing crates:
https://salsa.debian.org/debian/scryer-prolog/-/blob/debian/latest/debian/TODO

- Jonas