Track:
Contents
Downloads:
Abstract:
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.