Debugging and testing of Prolog programs

MaRDI QIDQ2763587zbMATH OpenFDO

Authors G. Kókai, Lásló Harmath, T. Gyimóthy

Publication date 20 January 2002

zbMATH Keywords

debuggingprogramsPrologslicingtesting

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• IDT: integrated system for debugging and testing Prolog programs
• scientific article; zbMATH DE number 5706177
• scientific article; zbMATH DE number 1235365
• Algorithmic debugging generalized
• scientific article; zbMATH DE number 1870455

Cited in

(6)

• Logical debugging
• IDT: integrated system for debugging and testing Prolog programs
• A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 1235365 (Why is no real title available?)
• Tracing Prolog programs by source instrumentation is efficient enough

This page was built for publication: Debugging and testing of Prolog programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763587)