Compiling linear recursive Prolog programs with list structure into procedural language | IEEE Conference Publication | IEEE Xplore