Submissions from github.com/mthom

		Tax Logic Evaluation with Prolog (github.com/mthom)
		2 points by triska 17 hours ago \| past \| discuss
		Scryer Prolog v0.10.0 is out (github.com/mthom)
		7 points by triska 6 months ago \| past
		Recreational programming: Tacit programming in Prolog (github.com/mthom)
		13 points by triska 9 months ago \| past \| 4 comments
		The Third Annual Scryer Prolog Meetup (github.com/mthom)
		2 points by triska 11 months ago \| past
		The Semantics of Testing. Also, Quads (github.com/mthom)
		3 points by triska on Feb 18, 2025 \| past
		Pure regex implementation using rational trees and if_/3 (github.com/mthom)
		2 points by triska on Jan 7, 2025 \| past
		Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk (github.com/mthom)
		1 point by triska on Dec 16, 2024 \| past
		2025 Goals for Scryer Prolog (github.com/mthom)
		2 points by triska on Dec 15, 2024 \| past
		Scryer Prolog: The fourth iteration of rebis-dev is out (github.com/mthom)
		7 points by triska on Sept 24, 2024 \| past
		From a Python function to a relation (a short personal essay) (github.com/mthom)
		1 point by triska on Aug 30, 2024 \| past
		Linguistic "Power" of Definite Clause Grammars? (github.com/mthom)
		2 points by triska on Aug 16, 2024 \| past
		Some novel features of Scryer Shen (github.com/mthom)
		3 points by triska on Aug 16, 2024 \| 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

HN For You