prudens
A logical programming language, supporting propositional and first order reasoning as well as prioritized inference semantics. For more, http://cognition.ouc.ac.cy/prudens/docs.html.
0.8.3 • Published 3 years ago
A logical programming language, supporting propositional and first order reasoning as well as prioritized inference semantics. For more, http://cognition.ouc.ac.cy/prudens/docs.html.