One thing I really like Verse is it makes prolog/datalog cute.