implementation

override val implementation: LogicFunction

Checked PrologFunction implementation