序言，写没有原子的表达

本文介绍了序言，写没有原子的表达的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！

Prolog的新手，我希望能够在很好地了解发生了什么情况的同时回答这个问题

New to Prolog and I want to be able to answer this question while getting a good understanding of whats going on

任何帮助将不胜感激！

您需要测试表达式不是原子.然后，使用compound/1进行检查，是否需要使用arg/3枚举参数，或者是否需要成功.

You need to test that the expression is not an atom. Then, you check with compound/1 if you need to enumerate the arguments with arg/3 or succeed.

no_atoms(Expr) :-
    \+ atom(Expr),
    (   compound(Expr)
    ->  \+ ( arg(_, Expr, A), \+ no_atoms(A) )
    ;   true
    ).

这篇关于序言，写没有原子的表达的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！