| | The Third Annual Scryer Prolog Meetup (github.com/mthom) |
|
2 points by triska 1 day ago | past | discuss
|
|
| | The Semantics of Testing. Also, Quads (github.com/mthom) |
|
3 points by triska 79 days ago | past
|
|
| | Pure regex implementation using rational trees and if_/3 (github.com/mthom) |
|
2 points by triska 4 months ago | past
|
|
| | Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk (github.com/mthom) |
|
1 point by triska 4 months ago | past
|
|
| | 2025 Goals for Scryer Prolog (github.com/mthom) |
|
2 points by triska 4 months ago | past
|
|
| | Scryer Prolog: The fourth iteration of rebis-dev is out (github.com/mthom) |
|
7 points by triska 7 months ago | past
|
|
| | From a Python function to a relation (a short personal essay) (github.com/mthom) |
|
1 point by triska 8 months ago | past
|
|
| | Linguistic "Power" of Definite Clause Grammars? (github.com/mthom) |
|
2 points by triska 8 months ago | past
|
|
| | Some novel features of Scryer Shen (github.com/mthom) |
|
3 points by triska 8 months ago | past
|
|
| | Analysing protection systems for giant particle accelerators (github.com/mthom) |
|
1 point by triska 10 months ago | past
|
|
| | Appreciating Clpz_t/2 (github.com/mthom) |
|
2 points by aarroyoc on Feb 7, 2024 | past
|
|
| | Scryer Prolog version 0.9.3 is out (github.com/mthom) |
|
4 points by triska on Nov 13, 2023 | past
|
|
| | Basic WebAssembly Support in Scryer Prolog (github.com/mthom) |
|
5 points by triska on Sept 9, 2023 | past
|
|
| | Scryer-Prolog 0.9.2 (github.com/mthom) |
|
5 points by triska on Aug 28, 2023 | past
|
|
| | Release v1.1.0 of PostgreSQL-Prolog (github.com/mthom) |
|
4 points by triska on Aug 20, 2023 | past
|
|
| | The First Annual Scryer Prolog Meetup (github.com/mthom) |
|
3 points by triska on May 24, 2023 | past
|
|
| | Scryer Prolog 0.9.1: Greatly improved metacall performance (github.com/mthom) |
|
1 point by triska on Nov 10, 2022 | past
|
|
| | Scryer Prolog development milestone: The second iteration of Rebis is out (github.com/mthom) |
|
2 points by triska on Jan 7, 2022 | past
|
|
| | Using Prolog to unravel the foundations of oncology dose-escalation trial design (github.com/mthom) |
|
2 points by triska on Dec 6, 2021 | past
|
|
| | Scryer Prolog: A modern Prolog implementation written mostly in Rust (github.com/mthom) |
|
272 points by homarp on Oct 23, 2021 | past | 95 comments
|
|
| | Modern Prolog Implemented in Rust (github.com/mthom) |
|
93 points by xvilka on April 1, 2019 | past | 20 comments
|
|
| | The Warren Abstract Machine in Rust (github.com/mthom) |
|
2 points by zmonx on Feb 26, 2018 | past
|
|
| | Shentong: Haskell implementation of the Shen programming language (github.com/mthom) |
|
1 point by adamnemecek on July 8, 2016 | past
|
|
| | Shentong – a Haskell implementation of Shen (github.com/mthom) |
|
2 points by michaelsbradley on Dec 11, 2014 | past
|
|
