Procedurally Oriented Programming Techniques in Prolog | IEEE Journals & Magazine | IEEE Xplore