News for hackers. Stuff that matters.

A comment on Scryer Prolog: A modern Prolog implementation written mostly in Rust.

Re:Scryer Prolog: A modern Prolog implementation written mos... by dejj on Saturday October 23, 2021 @04:13PM (#28971810)
Does Scryer have:

- FFI to C or Java

- “unique”, i.e. linear type declarations

- modes, i.e. data-flow direction-dependent overloading of predicates

These are my favorite features in Mercury Prolog [1], and I would be delighted to find them in Scryer too.

[1] http://mercurylang.org/

[ Parent | on HN ]
Re:Scryer Prolog: A modern Prolog implementation written mos... by mthom on Friday October 29, 2021 @11:19AM (#29039505)
No FFI yet, no. I'll first try to adapt LispWork's Foreign Language Interface by writing a compatibility layer for Rust. If that goes well, I'll begin to explore writing a Common Lisp FFI to Scryer, which may give insights on how to interface Scryer to languages like C and Java.
[ Parent | on HN ]