Bonjour
Désolé si je ne suis pas sur le bon sous-forum, mais je ne sais pas trop où je devrais poster ça...
Est-ce que quelqu'un a déjà fait de la logique modale en java ? Est-ce que quelqu'un connait une classe, un package, une API quelconque pour faire de la logique modale en java ?
Merci de ne pas me renvoyer vers Prolog ;)
Merci d'avance
