Date: 29 Mar 2001

An A-Prolog Decision Support System for the Space Shuttle

* Final gross prices may vary according to local VAT.

Get Access


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.