logo
  • 教程列表
  • SO官方文档
  • 使用现代 Prolog
    • CLP(FD) 用于整数运算
    • 介绍
    • Forall 而不是故障驱动的循环
    • 函数式谓词
    • Flowmode 声明
  1. StackOverflow 文档
  2. Prolog Language 教程
  3. 使用现代 Prolog
  4. 介绍

介绍

Created: November-22, 2018

许多现代 Prolog 系统正在不断发展,并增加了新功能以解决该语言的经典缺点。不幸的是,许多 Prolog 教科书甚至教学类仍然只介绍过时的序言。本主题旨在说明现代 Prolog 如何克服旧版 Prolog 中出现的一些问题和相当粗俗的语法,并且可能仍在引入。

  • Forall 而不是故障驱动的循环
  • CLP(FD) 用于整数运算

Copyright © 2018. All right reserved

tastones.com 备案号:鲁ICP备18045372号-1

  • 关于我们
  • 免责声明