Theory and Practice of Logic Programming - Cambridge, UK Cambridge University Press - On-campus e-Journal under Digital Library Program of Higher Education Commission (HEC) of Pakistan ISSN: 1475-3081 Subjects--Topical Terms: Theory - Practice - Logic Programming