Defeasible Prolog

Donald Nute

d-Prolog is a nonmonotonic extension of the Prolog programming language. It is an implementation of defeasible logic (Nute 1991, 1992). I will describe the system and the utilities that support development of d-Prolog programs, making extensive use of simple examples to explain the logic of the system.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.