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