{"version":"1.0","type":"link","title":"MOLOG - Newikis","description":"MOLOGest 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érence à…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}