logo
  • 教程列表
  • SO官方文檔
  • 超邏輯謂詞
    • 具有副作用的謂詞
    • 元邏輯謂詞
    • 全解決方案的預測
    • 0 和相關的謂詞
  1. StackOverflow 文件
  2. Prolog Language 教程
  3. 超邏輯謂詞
  4. 具有副作用的謂詞

具有副作用的謂詞

Created: November-22, 2018

產生副作用的謂詞留下了純粹邏輯的境界。這些是例如:

  • writeq/1
  • read/1
  • format/2

副作用是在程式中無法解釋的現象。例如,刪除系統終端上的檔案或輸出。

  • 元邏輯謂詞
  • 超邏輯謂詞

Copyright © 2018. All right reserved

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

  • 關於本站
  • 免責聲明