A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs

doi 10.1007/978-94-011-2562-8_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Netherlands