The program smodels is an implementation of the stable model semantics for logic programs.

Lparse is a front-end for smodels that generates a variable-free simple logic program that can be given to smodels.

Link to Website