The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems
for computing answer sets of such programs, can be successfully applied to the development of medium size knowledge-intensive
applications. We report on a successful design and development of such a system controlling some of the functions of the Space
Shuttle.
Keywords answer set programming - logic programming - planning