Prolog的POSL转换器0.1_Prolog-POSL Converter 0.1下载地址

转换Prolog的语法到POSL

Prolog的转换器是一个小而简单的软件，可以转换之间的数据Prolog和POSL格式。该转换器可以在两个方向上进行。

的Prolog POSL转换器，是用Java开发的。 Prolog是一个通用的神器出山:www.shenqi73.com逻辑编程语言。 POSL代表位置开槽语言，其目的是为了表达F-逻辑的。

可以使用POSL和Prolog都表达了相同的知识，但他们的语法中是不同的。

这个工具的目的是提供快速和容易的的转换betweetn这些两种格式的一种方式。应该注意的是，应用程序的设计只能使用纯Prolog条款描述的知识基础，这是足够的。