Starlog Is Prolog with Nested Predicate Calls
2 months ago
- #Starlog
- #Syntax-Converter
- #Prolog
- Starlog转换器是一个双向翻译工具，可在标准Prolog语法与Starlog语法之间进行转换。
- Starlog采用函数式表示法，使用'is'运算符表示输出参数。
- Starlog的特殊运算符包括：字符串连接的':'、列表追加的'&'、原子连接的'•'。
- 该转换器支持大量Prolog内置谓词，并将其转换为Starlog格式。
- 例如：将'string_concat(A, B, C)'转换为'C is (A : B)'，将'append(A, B, C)'转换为'C is (A & B)'。
- 该工具还能执行逆向转换，将Starlog代码转回标准Prolog语法。
- 提供通过SWI-Prolog运行双向转换器的命令行指令。