MProlog: A Modal Logic Programming System
A Short Description
A Full Theory of MProlog
Download MProlog 2.0
Related Publications
Links:
MOLOG
,
SICStus Prolog