prototyping logic programming in Scala
-
Updated
Mar 25, 2022 - Scala
#
tabling
Here are 5 public repositories matching this topic...
Semantic rewriting for logic engines: discover implications between predicates with an entailment judge, admit them as rules, and evaluate exactly on any engine with tables.
-
Updated
Nov 13, 2026 - Python
A campus study table status solution
-
Updated
Nov 1, 2025 - Vue
Add this topic to your repo
To associate your repository with the tabling topic, visit your repo's landing page and select "manage topics."