The blocks world

The Blocks World

The domain description bw and the problems P0--P4:

in the language of lparse (Version 1.0.13): bw-lparse.tar.gz
in the language of dlv (April 2002 release): bw-dlv.tar.gz
in the language of ccalc (Version 1.9): bw-ccalc.tar.gz

(for more information on these formalisms and an experimental evaluation of ccalc, dlv and smodels, see Chapter 3 of "Theory and applications of answer set programming," E. Erdem, Ph.D. Thesis, Technical Report CS-TR-02-69, Department of Computer Sciences, University of Texas at Austin, 2002.)