我是 prolog 的新手，想对两个人是否是堂兄弟做一个规则声明。
这是我当前的代码，我在需要or操作符的地方添加了“或” ：
cousins(E, F) :- siblings(A, C) or siblings(A, D) or siblings(B, C) or siblings (B, D), parent(A, E), parent(B, E), parent(C, F), parent(D, F).
我只需要siblings()通过其中之一，但parent()必须全部通过。
我能够在 DrRacket 中制作的只是球拍文档文件，但我需要这些文件具有 Scheme 文件扩展名或更具体地说是 .scm
我怎么能做到这一点？