Hacker GitHub

← All repos

mthom/scryer-prolog

View on GitHub ↗ ★ 2,468 Rust

A modern Prolog implementation written mostly in Rust.

79 mentions on Hacker News by 19 people: 23 stories, 56 comments · first 2019-04-01 · latest 2026-08-05

Mentions per year 79 mentions · busiest year 2024 (16)
20082026
AllStoriesComments NewestTopOldest
  1. …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
  2. …[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. …[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)
  4. …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
  5. …[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?
  6. …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