Language Bingo (alpha)

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:
Compatible Language Features