X-Prolog教育X-Prolog is a lightweight Prolog implementation intended to facilitate programming in logic on Andro看更多 »
