mthom/scryer-prolog on Hacker News

…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

…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

…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

…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

▲ 2

Tax Logic Evaluation with Prolog

story by triska · 2026-04-07 · 0 comments

▲ 7

Scryer Prolog v0.10.0 is out

story by triska · 2025-09-28 · 0 comments

▲ 13

Recreational programming: Tacit programming in Prolog

story by triska · 2025-06-27 · 4 comments

▲ 2

The Third Annual Scryer Prolog Meetup

story by triska · 2025-05-08 · 0 comments

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

…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

▲ 3

The Semantics of Testing. Also, Quads

story by triska · 2025-02-18 · 0 comments

…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)

…#! 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

…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

…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

▲ 2

Pure regex implementation using rational trees and if_/3

story by triska · 2025-01-07 · 0 comments

…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?

…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?

▲ 1

Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk

story by triska · 2024-12-16 · 0 comments

▲ 2

2025 Goals for Scryer Prolog

story by triska · 2024-12-15 · 0 comments

…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

…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

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

…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

…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)

▲ 7

Scryer Prolog: The fourth iteration of rebis-dev is out

story by triska · 2024-09-24 · 0 comments

▲ 1

From a Python function to a relation (a short personal essay)

story by triska · 2024-08-30 · 0 comments

▲ 2

Linguistic "Power" of Definite Clause Grammars?

story by triska · 2024-08-16 · 0 comments

…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?

…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?

▲ 1

Analysing protection systems for giant particle accelerators

story by triska · 2024-07-06 · 0 comments

…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

…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

▲ 2

Appreciating Clpz_t/2

story by aarroyoc · 2024-02-07 · 0 comments

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

▲ 4

Scryer Prolog version 0.9.3 is out

story by triska · 2023-11-13 · 0 comments

▲ 5

Basic WebAssembly Support in Scryer Prolog

story by triska · 2023-09-09 · 0 comments

▲ 5

Scryer-Prolog 0.9.2

story by triska · 2023-08-28 · 0 comments

▲ 4

Release v1.1.0 of PostgreSQL-Prolog

story by triska · 2023-08-20 · 0 comments

…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

▲ 3

The First Annual Scryer Prolog Meetup

story by triska · 2023-05-24 · 0 comments

…[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)

…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

…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

▲ 1

Scryer Prolog 0.9.1: Greatly improved metacall performance

story by triska · 2022-11-10 · 0 comments

…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

…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?

…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?

▲ 2

Scryer Prolog development milestone: The second iteration of Rebis is out

story by triska · 2022-01-07 · 0 comments

▲ 2

Using Prolog to unravel the foundations of oncology dose-escalation trial design

story by triska · 2021-12-06 · 0 comments