“No morality without qualm“, hence the name for a new logic reasoner developed by the New University of Lisbon, which adds tabled abduction, updating and counterfactuals to XSB Prolog. QUALM is an experimental open source project living at github
Having followed the many years of computational moral and ethics research behind the new book “Programming Machine Ethics” by Pereira and Saptawijaya, coming out this week at Springer… we’re delighted to serve Studio enriched with support for QUALM – the main logic programming reasoner featured in the book.
Prolog Studio features for QUALM:
- easy install
- examples menu
- semantic editor warnings
- source call tree and graph
More details in Download and Install.