prudens (npm): 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.
Keywords: logical programming|machine coaching|machine learning