In this paper, a study of Prolog testing is introduced. Then we advance a new Prolog debugging algorithm--contradiction debugging. It is realized with Turbo C language. As a Prolog testing tool, this algorithm is already included in Turbo Prolog system disk.
展开▼