Finnish law encoded as executable logic with s(CASP) — Unemployment Security Act §6 entrepreneur definition with open-world reasoning and Finnish-language justification trees
prolog swi-prolog answer-set-programming computational-law legal-tech rules-as-code scasp finnish-law open-world-reasoning justification-trees law-as-code
-
Updated
Mar 30, 2026 - Prolog