!752

static new Prolog p;

static void test(Lisp l) {
  print(l + " => " + p.canSolve(l));
}

p {
  p.addClause(lisp("yes"));
  
  test(lisp("yes"));
  test(lisp("no"));
  
  // Test native
  
  test(lisp("nativeTest"));
  test(lisp("isQuoted", "x"));
  test(lisp("isQuoted", "A"));
  test(lisp("isQuoted", "\"hello\""));
  test(lisp("isQuoted", "\"hello\"", "\"hello\"")); // will fail (2 args instead of 1)
}