| Name | Bingo (alpha) |
|---|---|
| Description |
Bingo (alpha) is an experimental bottom-up grounder based on semi-naive evaluation. It accepts the fragment of normal logic programs in Gringo's input language. Also, it supports meta-statements #hide, #show, and #complete. The last one indicates that a predicate has been completely (possibly recursively) defined in rules preceding the statement. You can download Bingo from here: http://potassco.sourceforge.net/labs.html |
| Compatible Language Features |
|
