CLP(FD)有限域上的约束逻辑式编程

译自http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html，SWI-Prolog官网所推荐的进阶教程。目前还没译完，会不定期更新。 1. 关于本教程 1.1. 谁应该用这个教程 本教程适用于要用clp(fd)、有一定经验 ...