>>486
レッドとグリーンがあって、こちらはレッドカット。節の末尾に来て、
非決定性-決定性を制御する。処理系に最適化を促すために
使うこともある。
ここらあたりは、「Prologの技芸」に詳しい説明が載っている。
著作権の問題さえなければ、ここに書き写してしまうのだが・・・。