Too early to say. Some might criticize JAI for being not applying academic rigour. Verse might have an issue going in the opposite direction, of being too academic.
Might need some more insight about the difference between lenient
, lazy
and greedy
.
choice
abstraction is "interesting"solving
computation metaphorprolog
like solving is good abstraction for computation