//var unify = require('unify');

var variable = unify.variable;

var expr1 = unify.box([[3,4],2,3,4]);

var expr2 = unify.box([variable("a"),2,variable("$a")]);

if (expr1.unify(expr2)) {

  console.log("Unification successful! a=[" + expr2.get("a").join() + "]");

}

else {

  console.log("Unification unsuccessful!");

}

//The following should be written to the console

//Unification successful! a=[3,4]