• 果洛

  • 168篇参考文献[SW02159]
  • 情境演算。原型实现Prolog语言已经开发…
  • 塞西奥

  • 119篇参考文献[SW0707]
  • 系统的机器实现Prolog语言技术,但也有一些特殊的特点…不同于一般的神论Prolog语言系统:一个强大的预处理模块,用于减少…
  • XSB

  • 137篇参考文献[SW1387]
  • UNIX和Windows数据库系统XSBProlog语言. 它正在被开发…
  • Prolog语言

  • 67篇参考文献[SW0618]
  • Prolog语言是免费的Prolog语言具有约束求解的有限域上的编译器由丹尼尔开发…迪亚兹。GNUProlog语言接受Prolog语言+约束程序,并产生本地二进制文件(如GCC从…可执行文件可以很小,因为GNUProlog语言可以避免链接代码…内置谓词。GNU的性能Prolog语言非常令人鼓舞(相当于商业系统)
  • 萨奇莫

  • 96篇参考文献[SW0619]
  • SATCHMO:一个定理证明器Prolog语言. StCHMO定理证明器…证明者是由一个小的Prolog语言-程序,它实现了一个表格验证过程…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 米兰达)与逻辑程序设计(如Prolog语言在一个简单、灵活和数学上很好…适用于适应的构造学学科Prolog语言术语和希望一样的模式。从句法上…观点,巴别塔结合纯粹Prolog语言用一阶函数表示法…
  • 西斯塔斯

  • 61篇参考文献[SW12440]
  • 西斯塔斯Prolog语言已经发展了近25年。这是一个适当的时间点…总结一些教训。西斯塔斯Prolog语言是在多重冲突的背景下构思出来的Prolog语言方言…
  • 体外受精-胚胎移植

  • 60篇参考文献[SW04196]
  • 纯在线自动程序专用器Prolog语言程序(内置)。它需要一个纯粹的…Prolog语言程序和查询的兴趣,然后专门为特定的程序…
  • 概率对数

  • 76篇参考文献[SW06945 ]
  • 基于概率逻辑的程序设计语言Prolog语言. 两个PROBLO实现是可用的,基于…
  • YAP Prolog

  • 41篇参考文献[SW06948 ]
  • Prolog语言系统又一个Prolog语言(YAP)是Prolog语言系统最初开发…在YAP中实现高效Prolog语言引擎第二,大多数逻辑编程系统都有…
  • SWI Prolog

  • 34篇参考文献[SW20950]
  • Prolog语言. SWI-Prolog语言既不是商业广告Prolog语言系统也不是纯粹的学术型企业…环境)。在本文中,我们提出SWI-Prolog语言作为一种集成工具,支持广泛的…思想发展的范围Prolog语言社区和充当外国资源的胶水…在SWI上的技术文章之间的粘合Prolog语言提供上下文和经验应用它们…
  • 莱坦普

  • 37篇参考文献[ SW099 85 ]
  • 重新访问LeANTAP。这个Prolog语言程序LeANTAP是一阶逻辑的定理证明器。将序列演算转换成Prolog语言程序这样做,他到达…
  • 新南威尔士大学

  • 34篇参考文献[SW12158]
  • 原型专用验证工具,写在Prolog语言,这是为分析而开发的…还展示了我们如何使用Prolog语言语言使我们受益于设计。
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • 实施约1300行Prolog语言. 所有这些变化使MPTP更多…
  • GHC

  • 43篇参考文献[SW23 765 ]
  • GHC子集Prolog语言. GHC已经失去了作为一个定理的完整性…
  • CIAOPP

  • 40篇参考文献[SW120 89]
  • 源代码到源转换任务(CIAO)Prolog语言程序这些任务包括:属性的推断…
  • 39篇参考文献[SW19619]
  • 康奈尔NUPRL系统,但在Prolog语言. CLAM是建立的元级系统。
  • 帕洛格

  • 39篇参考文献[SW23 764 ]
  • 谓词逻辑句。它不同于Prolog语言在并列的评价模式…