Prolog 逻辑编程语言编译器 Strawberry Prolog

AntiGNU
Windows
2020-03-30
Baytars

由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用 MFC 实现的 Windows 平台下的开源 Prolog 逻辑编程语言编译器,提供了三个版本:轻量版(Light Edition,免费版)、中量版(Middle Edition,收费)和专业版(Professional Edition,收费),轻量版源码在 AntiGNU 协议下公开。

Features

  • 独特的调试工具:证明树(proof tree)为其一,可查看目标(goal)是如何得到满足(satisfy)的
  • 电子邮件谓语助你自动生成信件并管理你的邮件往来
  • 作用域能超出子句的全局变量
  • Prolog CGI 脚本
  • 对象浏览器和 OLE 功能
加载中
请先登录后再评论。

暂无资讯

暂无问答

【源码分析】Strawberry Prolog 5.0 源码分析

源码下载 我已经把这个软件提交到 OSChina 并得到了收录,但是在搜索栏搜索“Strawberry Prolog”是找不到的,怕以后自己翻不到,把链接放这里:https://www.oschina.net/p/strawberry-prol...

03/16 19:52
85
0
【源码分析】Strawberry Prolog WarCraft.pro 源码分析

Antlr 解析 想要制作 WarCraft.pro 的 Java 实现,第一步是源码的全自动解析,虽然认识 Antlr 才几天,但是上手很快,省去了用编程语言手动解析的很多工作。 2020年3月24日:初步了解了 Antl...

03/16 20:47
116
0
Learning of Prolog

Sometime ago, I decided to learn one new language. The two candidates are Erlang and Node.js, both are designed for parallel programming, and optimize multiple cores of CPU. The...

2012/07/29 21:08
267
0
prolog下的eight queens

valid_queen((Row, Col)) :- Range = [1, 2, 3, 4, 5, 6, 7, 8], member(Row, Range), member(Col, Range). valid_board([]). valid_board([Head|Tail]) :- valid_queen(Head), valid_board(...

2012/06/03 18:28
103
0
prolog下的4X4数独

valid([]). valid([Head|Tail]) :- fd_all_different(Head), valid(Tail). sudoku(Puzzle, Solution) :- Solution = Puzzle, Puzzle = [S11, S12, S13, S14, S21, S22, S23, S24, S31, S32, ...

2012/06/03 18:27
419
0
Content is not allowed in prolog

Content is not allowed in prolog

2016/04/13 13:19
147
1
用Prolog解决数独问题

我们先了解一下什么是数独 数独(shù dú)是源自18世纪瑞士的一种数学游戏。它是一种运用纸、笔进行演算的逻辑游戏。数独有多种类型,我们仅以其中一种类型作为本文实例。 玩家需要根据9×...

02/29 17:19
158
0
Prolog 语言入门教程

Prolog 语言入门教程 作者: 阮一峰 日期: 2019年1月28日 Prolog 是一种与众不同的语言,不用来开发软件,专门解决逻辑问题。比如,"苏格拉底是人,人都会死,所以苏格拉底会死"这一类的问题...

2019/04/24 11:30
171
0
swi-prolog 解决数独

swi-prolog是prolog比较流行的一种实现,但话说prolog这货的语法还真不好理解,而且资料少,当年与LISP相抗衡,现在好像不怎么火了。在win7上折腾,还是没把命令行交互模式下的readline补全给...

2013/01/29 22:46
5.5K
0

没有更多内容

加载失败,请刷新页面

返回顶部
顶部