摘要: SWI-Prolog上用于有限域约束逻辑式编程的p(fd)库的教程。 阅读全文
posted @ 2020-10-06 15:10 缚风铃 阅读(1452) 评论(0) 推荐(0)