Conference Proceedings

Declarative diagnosis of floundering in prolog

L Naish

Conferences in Research and Practice in Information Technology Series: Computer Science 2012 | Published : 2012

University of Melbourne Researchers