!7

static S code = [=[
  
  [
    if   [$x is a $y]
    and  [a $y has a $z]
    then [$x has a $z]
  ]
  
  [ mark is a guy ]
  [ a guy has a gun ]
  
]=];

p {
  new Prolog p;
  p.showStuff = true;
  p.addTheory(code, "ad hoc");
  
  L<Lisp> l = p.rewrite();  // prints "mark has a gun"
  print(l(l) + " term(s) found.");
}