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. …I see that almost all of the changes mentioned on the page are in fact already filed for inclusion: https://github.com/mthom/scryer-prolog/pull/3379 https://github.com/mthom/scryer-prolog/pull/3383 https://github.com/mthom/scryer-prolog/pul…
    comment by triska · 2026-08-05 · in Sula: A Gemini protocol server written in Scryer Prolog
  2. …earlier today an interesting question regarding performance was posted in the Scryer discussions: https://github.com/mthom/scryer-prolog/discussions/3341 The comparison in this case is between Gecode and Scryer on a seemingly simple but…
    comment by triska · 2026-05-17 · in Prolog Basics Explained with Pokémon
  3. …Lager's recent work on Web Prolog particularly interesting. He recently posted about it here: https://github.com/mthom/scryer-prolog/discussions/3322 and also in the course of a discussion on various approaches to implement concurrency in…
    comment by triska · 2026-05-17 · in Prolog Basics Explained with Pokémon
  4. …Prolog code, including the use of metaprogramming to automatically generate more general relations: https://github.com/mthom/scryer-prolog/discussions/3221 I hope for an interesting followup article! Another very interesting Prolog program…
    comment by triska · 2026-05-17 · in Prolog Basics Explained with Pokémon
  5. You probably already know about https://github.com/mthom/scryer-prolog are you saying we should accelerate scryer-prolog with a Grayskull board?
    comment by sitkack · 2025-03-22 · in I want a good parallel computer
  6. …schedulers with arbitrary constraints. [1]: https://www.metalevel.at/prolog/timetabling/ [2]: https://github.com/mthom/scryer-prolog/discussions/2519
    comment by upghost · 2025-03-14 · in C Plus Prolog
  7. …familiar with the ecosystem. How does the embedding work? Ah, looks like it is compiled to WASM. https://github.com/mthom/scryer-prolog/compare/master...baka...
    comment by hpincket · 2025-02-16 · in Scryer Prolog NPM package (experimental)
  8. …#! shebangs specifically: /*usr/bin/env scryer-prolog "$0" "$@" ; exit #*/ From my original comment https://github.com/mthom/scryer-prolog/issues/2170#issuecomm... : > The way this works is that this test.pl is both a valid shell file and…
    comment by infogulch · 2025-01-28 · in Using uv as your shebang line
  9. …government funding allocations[3]. [1]: https://dcnorris.github.io/precautionary/index.html [2]: https://github.com/mthom/scryer-prolog/discussions/2441 [3]: https://link.springer.com/chapter/10.1007/978-981-97-2300-3_... Regarding how,…
    comment by upghost · 2025-01-26 · in The Simplicity of Prolog
  10. …blocks(Ns1, Ns2, Ns3). I have yet to see more elegant code in a general purpose language. [3]: https://github.com/mthom/scryer-prolog/discussions/2347#disc...
    comment by upghost · 2025-01-26 · in The Simplicity of Prolog
  11. …rust before but open an issue or a discussion on the Scryer board and maybe we can figure it out! https://github.com/mthom/scryer-prolog
    comment by upghost · 2025-01-03 · in What Is miniKanren?
  12. …of the true joys of life. [1]: https://github.com/jjtolton/scryer-prolog/blob/ISSUE-2464/sc... [2]: https://github.com/mthom/scryer-prolog/discussions/2687 [3]: https://github.com/clj-python/libpython-clj [4]:…
    comment by upghost · 2025-01-02 · in What Is miniKanren?
  13. …I personally would describe that as "support", I don't think I would use the word "animosity". [1]: https://github.com/mthom/scryer-prolog/discussions/2605
    comment by upghost · 2024-10-18 · in Use Prolog to improve LLM's reasoning
  14. …https://www.metalevel.at/zurg/ You can also use Prolog as a coordinator on external systems. See https://github.com/mthom/scryer-prolog/blob/master/src/lib/p...
    comment by upghost · 2024-10-18 · in Use Prolog to improve LLM's reasoning
  15. Check out https://github.com/mthom/scryer-prolog https://www.scryer.pl/ If you are close to Vienna Nov 7th and 8th there is a community meeting https://www.digitalaustria.gv.at/eng/insights/Digital-Austri...
    comment by sitkack · 2024-10-18 · in Use Prolog to improve LLM's reasoning
  16. …continued in Part 13) It will take me to read this book, but I love it ! I'll be following along in https://github.com/mthom/scryer-prolog (written in Rust) so one should be able to take these techniques into Rust game programming.
    comment by sitkack · 2024-10-11 · in Game Programming in Prolog
  17. …Prolog (a modern , performant, ISO-compliant prolog written mostly in rust) https://www.scryer.pl/ https://github.com/mthom/scryer-prolog
    comment by upghost · 2024-10-06 · in Arthur Whitney's one liner sudoku solver (2011)
  18. …where adherence to industry standards is of great importance for warranty reasons among others: https://github.com/mthom/scryer-prolog/discussions/2441 As another example, a medical application of Scryer Prolog, in the highly regulated…
    comment by triska · 2024-07-18 · in Ask HN: What's Prolog like in 2024?
  19. …it does not seem there is a way to actually write some prolog for the thing today :( [0] https://github.com/mthom/scryer-prolog [1] https://www.smspower.org/SegaAI/Index
    comment by sprayk · 2024-07-18 · in Ask HN: What's Prolog like in 2024?
  20. …very little experience with SWI specifically. And, well, yeah, it's common (e.g. look for cuts in https://github.com/mthom/scryer-prolog/blob/master/src/lib/c... ), but I don't think I've ever written a cut and I use Prolog rather…
    comment by cess11 · 2024-06-18 · in I learned Haskell in just 15 years
  21. …scryer community deserves much of the credit too. everyone is welcome and encouraged to join us at https://github.com/mthom/scryer-prolog ! some exciting plans in the pipe
    comment by mthom · 2024-03-05 · in The Shen Programming Language
  22. If you want a challenge, learn Prolog using https://www.metalevel.at/prolog , with https://github.com/mthom/scryer-prolog as the Prolog implementation.
    comment by FreeFull · 2023-12-01 · in Advent of Code 2023 is nigh
  23. …of tables. For instance, consider the table used in library(format) to describe control sequences: https://github.com/mthom/scryer-prolog/blob/b0566e41503a6c8d... It contains several entries that span multiple lines, yet are meant to…
    comment by triska · 2023-07-02 · in Djot is a light markup syntax
  24. …[3] https://github.com/ML-KULeuven/problog [4] https://github.com/ML-KULeuven/deepproblog [5] https://github.com/mthom/scryer-prolog
    comment by xvilka · 2023-04-19 · in Why did Prolog lose steam? (2010)
  25. …https://github.com/ciao-lang/ciao/tree/master/core/library/h... https://github.com/mthom/scryer-prolog/tree/master/src/lib/h...
    comment by Avshalom · 2023-01-08 · in PHP: Prolog Home Page
  26. …And this is indeed how list_to_set/2 is implemented for example in Scryer Prolog's library(lists): https://github.com/mthom/scryer-prolog/blob/fd19128530f68c46...
    comment by triska · 2023-01-02 · in Solving a Dungeons and Dragons riddle using Prolog
  27. …this out for prolog: https://youtu.be/Dqpxy4W7fAo https://www.swi-prolog.org/pldoc/man?section=pio https://github.com/mthom/scryer-prolog/blob/084fc845902f7b43... "New" stuff in the MiniKanren world: https://staff.fnwi.uva.nl/c.u.grelck/nl-…
    comment by rscho · 2022-05-25 · in Annotated implementation of microKanren: an embeddable logic language
  28. …project if it appeals to you. There is already an issue for it and pertaining discussion: https://github.com/mthom/scryer-prolog/issues/388
    comment by triska · 2022-04-29 · in Ask HN: What are some interesting examples of Prolog?
  29. …programming, and gives you a ton of freedom to build on top. [1] https://www.swi-prolog.org/ [2] https://github.com/mthom/scryer-prolog [3] http://minikanren.org/ [4] https://www.osohq.com/post/authorization-logic-into-sql
    comment by samjs · 2022-02-20 · in Is Datalog a good language for authorization?
  30. …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
  31. …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
  32. …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
  33. …[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
  34. …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
  35. I see https://github.com/mthom/scryer-prolog written in Rust?
    comment by hendler · 2021-02-24 · in The birth of Prolog (1992) [pdf]
  36. …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]
  37. …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]
  38. …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)
  39. …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)
  40. …[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)
  41. …[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]
  42. …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
  43. …[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?
  44. See https://github.com/mthom/scryer-prolog/issues/251
    comment by falsissime · 2020-04-09 · in The Power of Prolog
  45. …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
  46. …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
  47. …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
  48. …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
  49. …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
  50. …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)