functions

val functions: Map<Signature, PrologFunction>