YAPTAB

YAPTAB is a Prolog Engine Supporting Tabling, the fastest tabling Prolog engine, distributed with YAP system, since 2001.