let create_predicate (name: string) (arity: int) : symbol =
  create_symbol Predicate name name arity