bitlaw-jp/the-constitution-of-japan
View on GitHub ↗ ★ 557 Prolog
6 mentions on Hacker News by 6 people: 2 stories, 4 comments · first 2018-05-25 · latest 2024-07-18
20082026
-
▲ 16
Prolog Formulation of the Constitution of Japanstory by yu3zhou4 · 2024-07-18 · 2 comments
-
…www.doc.ic.ac.uk/~rak/papers/British%20Nationality%2... Parts of the constitution of Japan in Prolog: https://github.com/bitlaw-jp/the-constitution-of-japan A recent project involving the formalization and automated analysis of criteria…
comment by triska · 2022-12-27 · in Ask HN: Has anyone tried to rewrite a law in Prolog? -
…the constitution of Japan in prolog ! [1] [0] https://en.wikipedia.org/wiki/Logic_programming [1] https://github.com/bitlaw-jp/the-constitution-of-japan
comment by Diris · 2022-06-02 · in California court finds that bees fall within a legal definition of fish [pdf] -
Link for those interested: https://github.com/bitlaw-jp/the-constitution-of-japan
comment by keeler · 2022-04-29 · in Ask HN: What are some interesting examples of Prolog? -
▲ 24
A Prolog Formulation of the Constitution of Japanstory by ipnon · 2019-12-26 · 0 comments
-
…work being done adjacent to 5G using real prolog, by people who thought it was an interesting idea: https://github.com/bitlaw-jp/the-constitution-of-japan Prolog is still used in the development of expert systems, though when those systems…
comment by enkiv2 · 2018-05-25 · in The Power of Prolog