TY - BOOK TI - The logic programming paradigm : : a 25-year perspective / SN - 3540654631 PY - 1999/// CY - BerlĂ­n PB - Springer ER -