说我有一棵搜索树,我正试图找到一个目标的所有解决方案。如果我不把树切除到孩子仍被允许生成它的父母节点,那么搜索空间就会变得非常大。 所以,有人可以告诉我一个能这样做的前提,或者向我解释如何做到,因为我对Prolog非常陌生。
I ve read about it in a book but it wasn t explained at all. I also never saw it in a program. Is part of Prolog syntax? What s it for? Do you use it?