تگ: constraint logic programming