Prolog 程式語言的約束處置