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