Prolog interpreter for node.js