zhilinghuang/logic-programming archive