HN Explorer

triska

↗ HN profile [ 581 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Kb – Prolog Knowledge Base (github.com)
    108 points 10
  2. Conway's Game of Life in Prolog (manzikert.ca)
    2 points 0
  3. A local-first multimodal knowledge platform for managing entities (github.com)
    2 points 0
  4. From Taxman to VATmiraal: Fifty Years of Teaching Machines the Law (vatmiraal.be)
    1 points 1
  5. Prolog Implementation of the IRS Fact Graph (github.com)
    5 points 0
  6. Tax Logic Evaluation with Prolog (github.com)
    2 points 0
  7. A simple online forum written in Prolog (github.com)
    2 points 0
  8. Forth VM and compiler written in C++ and Scryer Prolog (github.com)
    37 points 0
  9. A high-performance bridge between Scryer Prolog and Python (github.com)
    2 points 0
  10. Simple Maturin Based Python Bindings to Scryer Prolog (github.com)
    1 points 0
  11. A lightweight, embeddable Prolog interpreter written in C11 (github.com)
    4 points 0
  12. Blue Prince Clock Tower (CLP(Z), Scryer) (web.liminal.cafe)
    3 points 0
  13. Pokemon Draft Tools in Prolog (github.com)
    4 points 0
  14. Flowlog: An ISO-style Prolog system with faster search on multicore CPUs (web.liminal.cafe)
    3 points 0
  15. A simple graph database implementation running on Scryer Prolog (github.com)
    2 points 0
  16. Dogalog: A realtime Prolog-based livecoding music environment (github.com)
    82 points 11
  17. Towards an Implementation-Independent Interface for Semantic Web in Prolog [pdf] (github.com)
    2 points 0
  18. Transforming legal texts into computational logic (sciencedirect.com)
    3 points 0
  19. Scryer Prolog library for Datomic: https://github.com/jjtolton/scrytomic
    2 points 0
  20. Python Integration for Scryer Prolog Using FFI (Research Project) (github.com)
    2 points 0
  21. Stack based Prolog. Cool thing you can do with DCGs (old.reddit.com)
    14 points 1
  22. Hatch Act Guidance on Social Media [pdf] (osc.gov)
    4 points 0
  23. Global key-value metadata storage for Scryer Prolog (github.com)
    13 points 1
  24. Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com)
    6 points 0
  25. Qupak: Pattern Matching for Prolog with library(reif) (github.com)
    8 points 0