XSB also allows as evaluable functors, many of the functions form the C library math.h. Functions included in XSB Version 3.0 are cos/1, sin/1, tan/1, acos/1, asin/1, atan/1. log/1, and log10/1. For their semantics, see documentation to math.h.
