Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Debugging and testing of Prolog programs

From MaRDI portal
Publication:2763587
Jump to:navigation, search

zbMATH Open0979.68520MaRDI QIDQ2763587

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

Publication date: 20 January 2002





zbMATH Keywords

testingdebuggingslicingPrologprograms


Mathematics Subject Classification ID

Logic programming (68N17)



Related Items (3)

A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics ⋮ Tracing Prolog programs by source instrumentation is efficient enough ⋮ Logical debugging






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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2763587&oldid=15639211"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 15:30.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki