CLP(FD)有限域上的約束邏輯式編程

譯自http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html，SWI-Prolog官網所推薦的進階教程。目前還沒譯完，會不定期更新。 1. 關於本教程 1.1. 誰應該用這個教程 本教程適用於要用clp(fd)、有一定經驗 ...