兆豐運行時間問題（蠻力方法），Prolog的

Question

我試圖做一個時間表出來的事實，事實是在course_meetings（主題，類型，一組描述）的形式，

我決定用蠻力方法

我會生成所有可能的時間表，看看哪一個會通過所有的約束，但是我已經產生了2.6的事實，我該如何優化它，並且有更好的方法。前者爲 。 course_meetings（主題，類型，組，教師，說明）。 解決： -

findall([A,B,C,D,E],course_meetings(A,B,C,D,E),L), 
permutation(L,L1), 
%and apply constrains on it. 

我有32個事實這種格式和用於置換其32〜= 2.6×10^32

Answer 1

在Prolog中已經設計了有限域上的約束來完全滿足這個需求。沒有必要使用assert/rectract。見例如library(clpfd)。讓你認識，你可能看this example, a "Simplistic School Time-Tabler"和CLP Primer

Answer 2

嘗試所有可能的排列似乎不是一個好主意！另一種選擇可能是將約束表達爲clp（fd）的有限域約束，並讓約束求解器嘗試比「嘗試所有」更好的策略。