Cover unavailable English Unordered Theory and Practice of Logic Programming KOWALSKI, ROBERT; SADRI, FARIBA 2016 March 16 View book