Zephyr: Toward true compiler-based programming in Prolog | IBM Journals & Magazine | IEEE Xplore