CLP(FD)所有严重的Prolog实现都提供了约束。它们使我们能够以纯净的方式推理整数。
?- X #= 1 + 2. X = 3. ?- 5 #= Y + 2. Y = 3.
友情链接： json在线解析 通晓查询 糯晒黄历 姓名打分 风车动漫