It's more like Prolog with a maximum arity of 5 and about a thousand particles with complicated effects. The reference text says with some pride that it is "as simple as C++."