Exactly. If two procs have the same name and arity, they are both evaluated and executed in the order they were declared.
Thanks, you also directly answered my second question which I planned to ask since I'm not at a computer with the editor at the moment (the order of execution).
I guess the same is also true for queries, and that's the reason queries can be used for OR conditons (as mentioned in the wiki)?
