Programmation Logique

Méta-interpréteur

Programme Prolog capable d'exécuter d'autres programmes Prolog en implémentant explicitement les mécanismes de résolution.

← 返回