Declarative programming for artificial intelligence applications.

John W. Lloyd

Browse the full ICFP paper archive.