TY - BOOK TI - Prolog SN - 978-2-7339-1032-9 CY - Paris KW - LANGAGE PROGRAMMATION/RESOLUTION PROBLEME/LOGIQUE MATHEMATIQUE ER -