所以，我有Prolog的家庭作业。我正在努力不要在这里打破荣誉代码，所以我要求提示而不是一个完整的解决方案。
让我重申一下：请不要发布代码片段。您可以发布可能对我有帮助的内置谓词的名称。
无论如何，现在已经不在了，我的任务是使用二叉搜索树。这是我正在使用的有效信息的事实：
tree(goodbst, [ [ [ [] , 1 , [] ] , 3 , [ [] , 4 , [] ] ], 10 ,[ [ [] , 12 , [] ], 15 ,[] ] ]).
我的问题是：我必须编写的代码之一涉及确保这是一个有效的树（也就是说，左子树中的数字不大于它们的根，右子树中的数字不是'不到他们的根。）
我将从哪里开始寻找解决方案？我已经有一个谓词确保树有一个有效的结构（遵循我上面描述的结构）但我不知道如何开始下一个谓词。