What's your take on Finite Choice Logic Programming / Dusa btw?

Been messing with it & Answer Set Programming recently and still trying to work out my own thoughts on it