Operators +, -, *, /, sqrt, exp, cos, and so forth are available. However, such expressions will not ``match'' a variable.
prime(2). prime(3). prime(5). ...
prime(1+1) will fail, because cannot be unified with any entry in the KB.
