تگ: Mathematical Aspects of Logic Programming