!752

p {
  new Prolog p;
  int n = p.mark();
  p.addStatement("a garden is a nice thing");
  S x  = p.solveAsText(print("a garden is a $x thing"), "x");
  assertEqualsVerbose("nice", x);
  for (S statement : p.statementsAsText(n))
    print("> " + statement);
  print("ok");
}