[logicprog]

I've always been a huge fan of GNOME, it's nice to see someone liking it instead of hating on it!