FRDCSA | external codebases | lparse-1.1.2

[Project image]

Jump to: Project Description

Project Description

Lparse is a front end for smodels system, that takes a domain-restricted logic program as its input and produces a ground logic program as its output. This program is distributed under GNU Public Licence, see file COPYING for details.

This page is part of the FWeb package.
Last updated Sat Oct 26 16:57:36 EDT 2019 .