The Prolog Debugger and Declarative Programming (Q5097636)
From MaRDI portal
scientific article; zbMATH DE number 7576128
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Prolog Debugger and Declarative Programming |
scientific article; zbMATH DE number 7576128 |
Statements
The Prolog Debugger and Declarative Programming (English)
0 references
25 August 2022
0 references
declarative diagnosis
0 references
algorithmic debugging
0 references
Prolog
0 references
declarative programming
0 references
program correctness
0 references
program completeness
0 references
