| 1. | | Model and reason on processes through (Scryer) Prolog, directly in the browser (github.com/christopher22) |
| 1 point by triska 6 days ago | past | discuss |
|
| 2. | | Clausal Prolog: A Neurosymbolic Prolog Built on Python (github.com/neurosymbolica) |
| 2 points by triska 34 days ago | past |
|
| 3. | | Prolog knowledge base over HTTP/JSON API, with an OpenAPI description (github.com/christopher22) |
| 4 points by triska 61 days ago | past |
|
| 4. | | Country Logic (github.com/matheus-git) |
| 1 point by triska 67 days ago | past |
|
| 5. | | Regular Expression Engine for Scryer Prolog and ISO Prolog Systems (github.com/dougransom) |
| 3 points by triska 77 days ago | past |
|
| 6. | | Sula: A Gemini protocol server written in Scryer Prolog (sagredo.dev) |
| 60 points by triska 3 months ago | past | 8 comments |
|
| 7. | | Kb – Prolog Knowledge Base (github.com/mat-mgm) |
| 109 points by triska 4 months ago | past | 18 comments |
|
| 8. | | Conway's Game of Life in Prolog (manzikert.ca) |
| 2 points by triska 5 months ago | past |
|
| 9. | | A local-first multimodal knowledge platform for managing entities (github.com/mat-mgm) |
| 2 points by triska 5 months ago | past |
|
| 10. | | From Taxman to VATmiraal: Fifty Years of Teaching Machines the Law (vatmiraal.be) |
| 1 point by triska 6 months ago | past | 1 comment |
|
| 11. | | Prolog Implementation of the IRS Fact Graph (github.com/alexpetros) |
| 5 points by triska 6 months ago | past |
|
| 12. | | Tax Logic Evaluation with Prolog (github.com/mthom) |
| 2 points by triska 7 months ago | past |
|
| 13. | | A simple online forum written in Prolog (github.com/danilp-id) |
| 2 points by triska 7 months ago | past |
|
| 14. | | Forth VM and compiler written in C++ and Scryer Prolog (github.com/no382001) |
| 37 points by triska 7 months ago | past |
|
| 15. | | A high-performance bridge between Scryer Prolog and Python (github.com/sporeking) |
| 2 points by triska 7 months ago | past |
|
| 16. | | Simple Maturin Based Python Bindings to Scryer Prolog (github.com/philzook58) |
| 1 point by triska 8 months ago | past |
|
| 17. | | A lightweight, embeddable Prolog interpreter written in C11 (github.com/no382001) |
| 4 points by triska 8 months ago | past |
|
| 18. | | Blue Prince Clock Tower (CLP(Z), Scryer) (liminal.cafe) |
| 3 points by triska 9 months ago | past |
|
| 19. | | Pokemon Draft Tools in Prolog (github.com/alexpetros) |
| 4 points by triska 10 months ago | past |
|
| 20. | | Flowlog: An ISO-style Prolog system with faster search on multicore CPUs (liminal.cafe) |
| 3 points by triska 10 months ago | past |
|
| 21. | | A simple graph database implementation running on Scryer Prolog (github.com/argahsuknesib) |
| 2 points by triska 10 months ago | past |
|
| 22. | | Dogalog: A realtime Prolog-based livecoding music environment (github.com/danja) |
| 82 points by triska 10 months ago | past | 21 comments |
|
| 23. | | Towards an Implementation-Independent Interface for Semantic Web in Prolog [pdf] (github.com/kiyoshi364) |
| 2 points by triska 11 months ago | past |
|
| 24. | | Transforming legal texts into computational logic (sciencedirect.com) |
| 3 points by triska 12 months ago | past |
|
| 25. | | Scryer Prolog library for Datomic: https://github.com/jjtolton/scrytomic |
| 2 points by triska on Nov 5, 2025 | past |
|
| 26. | | Python Integration for Scryer Prolog Using FFI (Research Project) (github.com/jjtolton) |
| 2 points by triska on Nov 3, 2025 | past |
|
| 27. | | Stack based Prolog. Cool thing you can do with DCGs (reddit.com) |
| 14 points by triska on Nov 1, 2025 | past | 1 comment |
|
| 28. | | Hatch Act Guidance on Social Media [pdf] (osc.gov) |
| 4 points by triska on Oct 26, 2025 | past |
|
| 29. | | Global key-value metadata storage for Scryer Prolog (github.com/jjtolton) |
| 13 points by triska on Oct 25, 2025 | past | 1 comment |
|
| 30. | | Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com/adamrybinski) |
| 6 points by triska on Oct 25, 2025 | past |
|
|
| More |
