如何基于Prolog设计可识别算法规范模式的ChatGPT替代方案？

1. 如何提升ChatGPT在Prolog中的准确性？
2. 如何设计一款可识别Prolog算法规范模式并实现输入输出映射的ChatGPT替代方案？

需求说明 #

需采用嵌套列表形式的递归模式，示例规则如下：

• [r,"a"] 表示 ["a","a"]
• [r,[1,[r,"b"]]] 表示 [1,"b","b",1,"b","b"]

使用'A1'、'B2'这类变量表示规范中重复出现的唯一项与常量值。该上下文无关文法可用于编写算法、语言转换或列表解析。

此外，需建立递归结构到输出递归结构的映射规则：

• 示例：a->b 对应映射 [1]->[1]
• 示例：[a,c]->[b,c] 中的c对应映射 [1,2]->[1,2]（列号为项维度的多维地址系统）

示例1：待解析为递归模式的列表 #

[2, 
[
[[input,[['A',[1,2,3,2,3,1,2,3,2,3]]]],[output,[['B',[3]]]]],
[[input,[['A',[1,2,4,2,4,1,2,4,2,4]]]],[output,[['B',[4]]]]]
]
]

示例2：实现输入输出转换的解析器 #

[11,
[
[[input,[['A',[[["aa,]",b,"c",[]],1]]]]],[output,[['B',["aa,]",b]]]]],
[[input,[['A',[[["cc,]",d,"e",[]],1]]]]],[output,[['B',["cc,]",d]]]]]
]
]

该方案可通过多个规范生成变量与常量。

示例3：解释器（添加额外命令后可完整实现） #

[12,
[
[[input,[['A',[a,is,1,"+",1]]]],[output,[['B',[
[[n,"+"],[1,1,[v,a]]]]]]]],
[[input,[['A',[b,is,3,"+",4]]]],[output,[['B',[
[[n,"+"],[3,4,[v,b]]]]]]]],
[[input,[['A',[a,is,1,"-",1]]]],[output,[['B',[
[[n,"-"],[1,1,[v,a]]]]]]]],
[[input,[['A',[b,is,3,"-",4]]]],[output,[['B',[
[[n,"-"],[3,4,[v,b]]]]]]]]
]
]

内容的提问来源于stack exchange，提问作者Lucian Green