אנגלית ⇄ סינית +

logic programming with sets
.טכנול	集合逻辑程序设计