Programming in Tabled Prolog by David S Warren - View it on GitHub
Star
22
Rank
819812