所以我试图实现有点像树的东西。
想象一下，我有2个谓词，每个都做不同的事情，我有一个解决方案，或者我想找到一个，但可以有很多方法找到一个，使用两个谓词，让我们称之为pred1和pred2。 / p> 我试图做的是：
exercise(smtg, smtg):-
answer(smtg), !.
exercise(smtg, ans):-
pred1(smtg, newsmtg),
exercise(newsmtg, ans).
exercise(smtg, ans):-
pred2(smtg, newsmtg),
exercise(newsmtg, ans).
所以我的脑子里会做的是，探索所有可能的组合，直到它是一个解决方案，然后停止，但它不起作用，可能我不正确，帮助将不胜感激！