Prolog assert
Added "call"