Hacker Newsnew | past | comments | ask | show | jobs | submit | triska's submissionslogin
1.
From Taxman to VATmiraal: Fifty Years of Teaching Machines the Law (vatmiraal.be)
1 point by triska 10 days ago | past | 1 comment
2.
Prolog Implementation of the IRS Fact Graph (github.com/alexpetros)
5 points by triska 27 days ago | past
3.
Tax Logic Evaluation with Prolog (github.com/mthom)
2 points by triska 34 days ago | past
4.
A simple online forum written in Prolog (github.com/danilp-id)
2 points by triska 39 days ago | past
5.
Forth VM and compiler written in C++ and Scryer Prolog (github.com/no382001)
37 points by triska 41 days ago | past
6.
A high-performance bridge between Scryer Prolog and Python (github.com/sporeking)
2 points by triska 52 days ago | past
7.
Simple Maturin Based Python Bindings to Scryer Prolog (github.com/philzook58)
1 point by triska 65 days ago | past
8.
A lightweight, embeddable Prolog interpreter written in C11 (github.com/no382001)
4 points by triska 69 days ago | past
9.
Blue Prince Clock Tower (CLP(Z), Scryer) (liminal.cafe)
3 points by triska 3 months ago | past
10.
Pokemon Draft Tools in Prolog (github.com/alexpetros)
4 points by triska 4 months ago | past
11.
Flowlog: An ISO-style Prolog system with faster search on multicore CPUs (liminal.cafe)
3 points by triska 4 months ago | past
12.
A simple graph database implementation running on Scryer Prolog (github.com/argahsuknesib)
2 points by triska 4 months ago | past
13.
Dogalog: A realtime Prolog-based livecoding music environment (github.com/danja)
82 points by triska 4 months ago | past | 21 comments
14.
Towards an Implementation-Independent Interface for Semantic Web in Prolog [pdf] (github.com/kiyoshi364)
2 points by triska 5 months ago | past
15.
Transforming legal texts into computational logic (sciencedirect.com)
3 points by triska 6 months ago | past
16.
Scryer Prolog library for Datomic: https://github.com/jjtolton/scrytomic
2 points by triska 6 months ago | past
17.
Python Integration for Scryer Prolog Using FFI (Research Project) (github.com/jjtolton)
2 points by triska 6 months ago | past
18.
Stack based Prolog. Cool thing you can do with DCGs (reddit.com)
14 points by triska 6 months ago | past | 1 comment
19.
Hatch Act Guidance on Social Media [pdf] (osc.gov)
4 points by triska 6 months ago | past
20.
Global key-value metadata storage for Scryer Prolog (github.com/jjtolton)
13 points by triska 6 months ago | past | 1 comment
21.
Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com/adamrybinski)
6 points by triska 6 months ago | past
22.
Qupak: Pattern Matching for Prolog with library(reif) (github.com/bakaq)
8 points by triska 7 months ago | past
23.
Scryer Prolog v0.10.0 is out (github.com/mthom)
7 points by triska 7 months ago | past
24.
PProlog: A Prolog for Plan 9 (pmikkelsen.com)
18 points by triska 9 months ago | past | 3 comments
25.
Take: Process file lines with a logic-based language (github.com/damianoazzolini)
3 points by triska 9 months ago | past
26.
Semantic Web Interface for Prolog (gitlab.com/hashi364)
3 points by triska 10 months ago | past
27.
Dose-Escalation Trial Protocols That Extend Naturally to Admit Titration (arxiv.org)
2 points by triska 10 months ago | past
28.
Recreational programming: Tacit programming in Prolog (github.com/mthom)
13 points by triska 10 months ago | past | 4 comments
29.
A C embedding API for Scryer Prolog (github.com/bakaq)
2 points by triska 11 months ago | past
30.
The Third Annual Scryer Prolog Meetup (github.com/mthom)
2 points by triska on May 8, 2025 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: