MOLOG est une généralisation du langage Prolog permettant d`étendre le paradigme de la Programmation logique à la logique non classique et en particulier à la logique modale, la logique aléthique ou la logique temporelle. Le nom MOLOG est un acronyme de MOdal LOGic et également une réfé...