A Vectorization Technique for Prolog without Explosion.

Yasusi Kanada, Masahiro Sugaya

Browse the full IJCAI paper archive.