FRDCSA
Minor
Internal
External
Git
Packages
lparse-1.1.2
Jump To:
Parent 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.