Vademecum ProLog
Completion requirements
Extraits de la grammaire et des algorithmes fondamentaux de ProLog (unification, résolution)
Click VadeMeCum_ProLog.pdf link to view the file.