s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419.

Details of how s(ASP) works can be found in the following paper:
Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable Models of Normal
Logic Programs Without Grounding." arXiv preprint arXiv:1709.00501 (2017)
(https://arxiv.org/abs/1709.00501).

Features

  • Ungrounded Stable Model Semantics

Project Activity

See All Activity >

Categories

Interpreters

License

GNU General Public License version 3.0 (GPLv3)

Follow s(ASP)

s(ASP) Web Site

Other Useful Business Software
Crowdtesting That Delivers | Testeum Icon
Crowdtesting That Delivers | Testeum

Unfixed bugs delaying your launch? Test with real users globally – check it out for free, results in days.

Testeum connects your software, app, or website to a worldwide network of testers, delivering detailed feedback in under 48 hours. Ensure functionality and refine UX on real devices, all at a fraction of traditional costs. Trusted by startups and enterprises alike, our platform streamlines quality assurance with actionable insights. Click to perfect your product now.
Click to perfect your product now.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of s(ASP)!

Additional Project Details

Languages

English

Intended Audience

Developers

User Interface

Command-line, Console/Terminal

Programming Language

Prolog

Related Categories

Prolog Interpreters

Registered

2015-09-15