Guzuta aims to be an easy to use, user friendly and yet powerful Gtk interface to the excellent package manager library used by Archlinux, ALPM. It is named Guzuta after the name of one of the monsters in the game Pac-Man, the orange one.
Both forward-chaining and backward-chaining rules (which may include python code) are compiled into python. Can also automatically assemble python programs out of python functions which are attached to backward-chaining rules. See pyke.sourceforge.ne