Foundations of declarative testing in arbitrary logic programming

DOI10.1080/00207169008803872zbMath0699.68023OpenAlexW2034308131MaRDI QIDQ3477937

Song Yuan Yan

Publication date: 1990

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169008803872

zbMATH Keywords

logic programmingrecursion theoryDeclarative testing

Mathematics Subject Classification ID

Artificial intelligence (68T99) General topics in the theory of software (68N01) Computability and recursion theory (03D99) Theory of software (68N99)

Related Items (1)

Declarative testing of logic databases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Foundations of declarative testing in arbitrary logic programming