sealion

Submitted by on Jul 02 2015 } Suggest Revision
By: Jörg Pührer
Project: http://www.sealion.at
From:
Paper:
Resource Type:
Project
License:
GNU General Public License version 3.0 (GPLv3)
Language:
Data Format:

Description

Integrated Development Environment for Answer-Set Programming (ASP). ASP is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. SeaLion comes as an Eclipse plugin and aims at offering support to write, evaluate, debug, and test answer-set programs
Categorized in: Representation and Reasoning | Logic & Formal Reasoning | Rule-Based Reasoning
Post comment
Cancel