dao on node.js, a functional logic solver