Abstract
More and more complex applications need to cope with the integration of different kinds of information, the reuse of existing software, the integration of well established tools and systems (such as databases). This and the distributed nature of many applications made it very appealing to use multi-agent technology. Rapid prototyping and executable specifications could be very important for the development of these applications and Logic Programming can prove itself extremely appropriate for this task. The paper presents CaseLP, a specification environment for Multi-Agent Systems based on Logic Programming. Many of the desirable properties and features of an ideal system have already been implemented in CaseLP, which, as a first prototype, has already been proven very useful in the case of some real applications. The paper outlines the general features of the system, describes some aspects of the implementation and presents two applications that have been specified with CaseLP.