| | Recreational programming: Tacit programming in Prolog (github.com/mthom) |
| 13 points by triska 22 days ago | past | 4 comments |
|
| | The Third Annual Scryer Prolog Meetup (github.com/mthom) |
| 2 points by triska 72 days ago | past |
|
| | The Semantics of Testing. Also, Quads (github.com/mthom) |
| 3 points by triska 5 months ago | past |
|
| | Pure regex implementation using rational trees and if_/3 (github.com/mthom) |
| 2 points by triska 6 months ago | past |
|
| | Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk (github.com/mthom) |
| 1 point by triska 7 months ago | past |
|
| | 2025 Goals for Scryer Prolog (github.com/mthom) |
| 2 points by triska 7 months ago | past |
|
| | Scryer Prolog: The fourth iteration of rebis-dev is out (github.com/mthom) |
| 7 points by triska 9 months ago | past |
|
| | From a Python function to a relation (a short personal essay) (github.com/mthom) |
| 1 point by triska 10 months ago | past |
|
| | Linguistic "Power" of Definite Clause Grammars? (github.com/mthom) |
| 2 points by triska 11 months ago | past |
|
| | Some novel features of Scryer Shen (github.com/mthom) |
| 3 points by triska 11 months ago | past |
|
| | Analysing protection systems for giant particle accelerators (github.com/mthom) |
| 1 point by triska on July 6, 2024 | 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 |
|
