mthom/scryer-prolog on Hacker News

…tag? Sorry if my question can be answered in the issue tracker I was just curious.. Edit; ah indeed https://github.com/mthom/scryer-prolog/issues/640

comment by openfuture · 2021-10-23 · in Scryer Prolog: A modern Prolog implementation written mostly in Rust

…local stack. Currently, Scryer uses a Rust enum to represent heap cells, here is the definition: https://github.com/mthom/scryer-prolog/blob/ca62e54652ace837... A more compact representation will use tagged cells that point directly into…

comment by triska · 2021-10-23 · in Scryer Prolog: A modern Prolog implementation written mostly in Rust

…Rust libraries and crates. For example, see the cryptographic functionality from library(crypto): https://github.com/mthom/scryer-prolog/blob/master/src/lib/c... Note that many of these predicates are only wrappers for internal…

comment by triska · 2021-10-23 · in Scryer Prolog: A modern Prolog implementation written mostly in Rust

▲ 272

Scryer Prolog: A modern Prolog implementation written mostly in Rust

story by homarp · 2021-10-23 · 95 comments

…[2] https://github.com/ML-KULeuven/problog [3] https://github.com/ML-KULeuven/deepproblog [4] http://github.com/mthom/scryer-prolog/ [5] https://github.com/mthom/scryer-prolog/issues/69

comment by xvilka · 2021-10-23 · in An Introduction to Probabilistic Programming

…take a look at newly emerging "GHC of Prolog" in Rust - Scryer[2]. [1] https://www.datomic.com/ [2] https://github.com/mthom/scryer-prolog

comment by xvilka · 2021-04-14 · in Logica, a novel open-source logic programming language

I see https://github.com/mthom/scryer-prolog written in Rust?

comment by hendler · 2021-02-24 · in The birth of Prolog (1992) [pdf]

…is ongoing work on a simplex library for Scryer Prolog, please see this issue and the linked file: https://github.com/mthom/scryer-prolog/issues/463 The library contains functionality for solving transportation and assignment problems via…

comment by triska · 2020-12-26 · in The Erlang Rationale (2008) [pdf]

…more compact representation was first explained by Ulrich Neumerkel in an issue for Scryer Prolog: https://github.com/mthom/scryer-prolog/issues/24 The general idea can be applied to Haskell and Erlang too. In another issue, Ulrich…

comment by triska · 2020-12-25 · in The Erlang Rationale (2008) [pdf]

…in Prolog, using at most a few very basic and general building blocks that are implemented in Rust: https://github.com/mthom/scryer-prolog/blob/master/src/lib/f... https://github.com/mthom/scryer-prolog/blob/master/src/lib/h...…

comment by triska · 2020-06-22 · in Prolog Web Applications (2016)

…that conforms to the Prolog ISO standard and provides several libraries for web applications: https://github.com/mthom/scryer-prolog . A key attraction of Scryer Prolog is its compact internal representation of strings as lists of…

comment by triska · 2020-06-22 · in Prolog Web Applications (2016)

…[3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog

comment by xvilka · 2020-06-22 · in The Art of Prolog (1994)

…[3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog

comment by xvilka · 2020-05-11 · in The Power of Prolog [video]

…For example: JavaScript http://tau-prolog.org Ruby https://github.com/preston/ruby-prolog Rust https://github.com/mthom/scryer-prolog Erlang https://github.com/rvirding/erlog If your language is missing one, implementing a basic Prolog is…

comment by simplify · 2020-04-22 · in Guitar Chord Voicings with Prolog

…[3] https://github.com/TheClause/learn-prolog/blob/master/articl... [a] https://github.com/mthom/scryer-prolog [b] http://tau-prolog.org/ [c] https://github.com/preston/ruby-prolog

comment by simplify · 2020-04-14 · in Ask HN: How to rediscover the joy of programming?

See https://github.com/mthom/scryer-prolog/issues/251

comment by falsissime · 2020-04-09 · in The Power of Prolog

…steps, but they're nbd. There are build instructions in the README ("Installing Scryer Prolog") at: http://github.com/mthom/scryer-prolog

comment by mthom · 2020-04-09 · in The Power of Prolog

…collects a few self-contained features that could be interesting to look into for Rust programmers: https://github.com/mthom/scryer-prolog/issues/319 I hope that's OK, and I invite everyone who is interested in these topics to contribute…

comment by triska · 2020-04-09 · in The Power of Prolog

…of characters, and includes important features for implementing Prolog-based constraint solvers: https://github.com/mthom/scryer-prolog As of a few days ago, Scryer Prolog also ships with my implementation of CLP(ℤ), Constraint Logic…

comment by triska · 2020-04-08 · in The Power of Prolog

…Recently, Mark Thom has expressed his interest in implementing such a solution in Scryer Prolog: https://github.com/mthom/scryer-prolog/issues/95 The same idea may be applicable to Haskell, to combine convenience with efficiency when…

comment by triska · 2020-01-14 · in The Haskell String Situation

…such an efficient internal representation in Scryer Prolog, please see the relevant issue: https://github.com/mthom/scryer-prolog/issues/95 Rust programmers may be interested in helping with the implementation!

comment by triska · 2020-01-02 · in Show HN: Constraint-Based School Timetabling with Prolog

…give developers that much power. They're not that complex. I'm writing one from scratch right now: http://github.com/mthom/scryer-prolog Speaking of constraint solvers, the author of Power of Prolog, Markus Triska, is now in the process of…

comment by mthom · 2019-11-20 · in Logic Puzzles with Prolog (2017)

…is Mark Thom's Scryer Prolog, where if_/3 and related predicates are available in library(reif): https://github.com/mthom/scryer-prolog https://github.com/mthom/scryer-prolog/blob/master/src/prolo... Other features that are necessary to…

comment by triska · 2019-10-29 · in Swish: SWI Prolog Notebook

…[3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog

comment by xvilka · 2019-10-29 · in Swish: SWI Prolog Notebook

…[3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog

comment by xvilka · 2019-08-25 · in Adventure in Prolog Tutorial (2016)

…And implementations in Rust[4] itself, and Julia[5] language. [1] https://posithub.org/index [2] https://github.com/mthom/scryer-prolog/issues/6 [3] https://github.com/mthom/scryer-prolog [4] https://gitlab.com/burrbull/softposit-rs [5]…

comment by xvilka · 2019-07-09 · in John Gustafson’s crusade to replace floating point with something better

…[2] https://bitbucket.org/problog/problog [3] https://bitbucket.org/problog/deepproblog [4] https://github.com/mthom/scryer-prolog [5] https://github.com/friguzzi/cplint

comment by xvilka · 2019-04-22 · in Ask HN: Will there ever be a resurgence of interest in symbolic AI?

…too. [1] https://bitbucket.org/problog/deepproblog [2] https://dtai.cs.kuleuven.be/problog/ [3] https://github.com/mthom/scryer-prolog [4] https://github.com/mthom/scryer-prolog/issues/69

comment by xvilka · 2019-04-05 · in Combine statistical and symbolic artificial intelligence techniques

▲ 93

Modern Prolog Implemented in Rust

story by xvilka · 2019-04-01 · 20 comments