Relaxed the restriction that LUA calls can only occur in the where clause of the rule.
Moved some more examples around.
Fixed an issue causing a segfault when an unknown query is specified.
Finished benchmarking organization.
Added additional support for LUA.
Restricted LUA to occur only in the where clause, parameter lists, and the right hand side of atoms (c=v) due to concerns with accept ASP syntax.
Enhanced static-semantic checking to also consider parameter lists. Constants can now occur within a parameter list.
 - Occurrences of this form (c1(c2)) are seen as shorthand for c1(X) with c2=X added to the if clause of the rule (or assuming for language BC).