!752

!include #1002826 // Prolog

p {
  Prolog p;
  
  p = new Prolog;
  p.showStuff = true;
  p.addClause(lisp("yes", "frog"));
  printStructure(p.solve(lisp("yes", "X")));
  
  p = new Prolog;
  p.addClause(lisp("=", "X", "X"));
  Map solution = p.solve(lisp("=", "A", "hello"));
  printStructure(solution);
}