Automated Verification of Prolog Programs

Download PDF
4 downloads 17215 Views 2MB Size Report
Comment
operational behaviour of the Prolog program complies with its logic meaning. Such analyses are tedious to perform by hand and can be automated to some ...