9 citations · 37 across the 32 of their papers we have counts for
1 paper · 2 filters
Paul Tarau
We introduce Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. Our proof-of-concept…