Added Prolog operations, conformed to ISO standards