Welcome to sealion.at - the home of SeaLion, the Integrated Development Environment for Answer-Set Programming (ASP). SeaLion comes as an Eclipse plugin and aims at offering support to write, evaluate, debug, and test answer-set programs. The languages of the potassco solver family (clasp/clingo) and DLV are supported. The IDE is developed at the Knowledge-Based Systems Group of Vienna University of Technology.
Is there anything you always wanted to know about SeaLion but never dared to ask? Here, you may learn where the name of the tool comes from, you will be introduced to our mascot and get information on the features of SeaLion.
Get SeaLion now! There are several convenient options how to get and install SeaLion. If you already use Eclipse, then just use its internal software management system to get SeaLion. Otherwise, choose one of our packages containing all you need for using SeaLion.
ASP is a genuine declarative programming paradigm where a problem is encoded by means of a logic program such that
the solutions of a problem correspond to the models, called answer sets, of the program.