- One includes a preprocessor and a meta-interpretater than run under XSB-Prolog. Rather than running built on top of the "Stable Models Semantics" as in the papers, the base LP semantics used by all the implementations is the "Well Founded Semantics".
- The other is a Web demonstrator, that uses smodels, for computing the Stable Models of EVOLP programs.