Logical Foundations of Prolog

7 points | by b-man 11 hours ago