Theory and Practice of Logic Programming Journal uri icon