Functions are complex terms that consist of a function symbols (which is a constant as defined above) and a list of one or more terms (enclosed in parenthesis) representing the arguments.

 

Example

f(?X)

<http://racer.com#maximumSpeed>(germany, autobahn)

1.2(?X,?Y)

"c"(1,2,3)