有没有简单的方法可以将Prolog / ASP代码转换为CLIPS?
像这样的东西,但是使用CLIPS而不是Prover9:https : //github.com/potassco/anthem/tree/master/examples
logic prolog clips answer-set-programming clingo
answer-set-programming ×1
clingo ×1
clips ×1
logic ×1
prolog ×1