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

译自http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html，SWI-Prolog官网所推荐的进阶教程。目前还没译完，会不定期更新。 1. 关于本教 ...