!752

static S code = [=[
  
  [$x=$x]

]=];

p {
  Lisp parsed = nlParse(code, false); // no unbracket
  printStructure("parsed: " + parsed);
  assertTrue("juxta", isJuxta(parsed));
  print("ops: " + structure(snlSplitOps(parsed.get(0))));
  
  new Prolog p;
  p.showStuff = true;
  p.addClauses(parsed);
  print("Program: " + structure_seen(p.program));
  printStructure(p.solve(nlParse("1=1")));
}