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

  • 關於本站
  • 免責聲明