http://www.cs.ccu.edu.tw/~dan/logic-prog.html