Yasusi Kanada Keiji Kojima Masahiro Sugaya Vectorization techniques for prolog. 539-549 1988 ICS http://doi.acm.org/10.1145/55364.55417 db/conf/ics/ics1988.html#KanadaKS88