OPTYAP

an Or-Parallel Tabling Logic Programming System,distributed with YAP system, since 2004.