Programming in Tabled Prolog by David S Warren - View it on GitHub
Star
25
Rank
882351