6

我正在编写一个 Lisp 到 C 的翻译器，但我在处理字符串时遇到了问题。这是一个将一元 Lisp 函数转换为 C 等价物的代码：

define(F) --> fun_unary(F), !.

fun_unary(F) --> "(define (", label(Fun), spaces, label(Arg1), ")", spaces, expr(Body), ")",
  {swritef(F, "data *%t(data *%t) { return(%t); }", [Fun, Arg1, Body])}, !.


funs([F])  --> define(F), !.
funs([F|Fs]) --> define(F), spaces, funs(Fs), !.

现在我想读取任意数量的函数并将它们作为单个字符串返回。以上funs是我能想到的最好的，但它的工作原理是这样的：

?- funs(F, "(define (carzero l) (= (car l) 0)) (define (zero n) (= 0 n))", []).
F = ["data *carzero(data *l) { return(eq(car(l), make_atom_int(0))); }", "data *zero(data *n) { return(eq(make_atom_int(0), n)); }"].

虽然我想要这样的东西：

F = "data *carzero(data *l) { return(eq(car(l), make_atom_int(0))); }\n\ndata *zero(data *n) { return(eq(make_atom_int(0), n)); }".

这样我就可以很好地swritef进入一个完整的程序，在#includes 和 main() 之间。另一种解决方案是修改最高级别的转换器来处理列表。它现在看起来像这样：

program(P) --> define(F), {swritef(P, "#include \"lisp2c.h\" \n\n%t \nint main() { return 0; }", [F])}, !.

我将如何做这两个？我正在使用 SWI Prolog。

4

4 回答 4

4

暂时不考虑它的用途，让我们编写一个 Prolog 谓词，将字符串列表连接成一个字符串，在每对连续的字符串之间放置一个双换行符（但不是在输出字符串的末尾，由Jerry 发布的示例）。

SWI-Prolog 手册： 通常我会发布文档的“深层”链接，但 SWI-Prolog 站点使用的 URL 样式会触发带有许多浏览器/插件组合的跨站点脚本 (XSS) 警告。因此，我将参考相应部分的链接。

第 4.22 节用字符串表示文本（部分）说，“默认情况下，字符串对象没有词法表示，因此只能使用下面的谓词或通过外语界面创建。” 这可能有点令人困惑，因为 SWI-Prolog 将字符串写入双引号文本，但将双引号文本（默认情况下）读取为字符代码列表。

这是连接列表中字符串的谓词代码，在连续字符串对之间插入另一个字符串分隔符： 

strSepCat([ ],_,Empty) :-
    string_to_list(Empty,[ ]).
strSepCat([H|T],Separator,StrCat) :-
    strSepCat(T,Separator,H,StrCat).

strSepCat([ ],_,StrCat,StrCat).
strSepCat([H|T],Sep,Str,Cat) :-
    string_concat(Sep,H,SepH),
    string_concat(Str,SepH,StrSepH),
    strSepCat(T,Sep,StrSepH,Cat).

请注意，我们定义了两个谓词strSepCat/3和strSepCat/4。前者是根据后者定义的，后者是 Prolog 中的典型设计模式，它引入了一个额外的参数作为累加器，当递归完成时绑定到输出。这种技术通常有助于获得尾递归定义。

要使用谓词strSepCat/3，我们通常需要使用两个换行符（转义序列）构造分隔符字符串： 

?- funs(Fs,Lisp,[ ]), string_to_list(Sep,"\n\n"), strSepCat(Fs,Sep,CProg).
于 2011-01-18T22:09:11.490 回答
2

使用 DCG 表示法附加字符串怎么样？

concat([]) --> [].
concat([List|Lists]) --> List, "\n\n", concat(Lists).
于 2011-01-17T14:26:48.957 回答
1

由于 Prolog 中的字符串实际上是字符代码列表，因此您可以append在同时插入换行符的自定义谓词中使用：

concat_program([], "").
concat_program([L|Ls], Str) :-
    concat_program(Ls, Str0),
    append("\n\n", Str0, Str1),
    append(L, Str1, Str).

用法：

funs(Fs, Lisp, []),
concat_program(Fs, P),
write("#include ...\n"),
writef(P).
于 2011-01-17T12:07:43.387 回答
1

比公认的答案更简单（更通用）的解决方案是使用 reduce 和现有的 string_concat 作为参数：

reduce3(_, [],  Default, Default).
reduce3(_, [A], _, A).
reduce3(P3, [A,B|T], _, D):-
    call(P3, A, B, C),
    reduce3(P3, [C|T], _, D).

?- reduce3(string_concat, ["123", "456", "789"], "", R).
R = "123456789"
?- reduce3(string_concat, ["123"], "", R).
R = "123"
?- reduce3(string_concat, [], "", R).
R = ""

strings_concat(Strings, String):-
    reduce3(string_concat, Strings, "", String).

SWISH 笔记本：https ://swish.swi-prolog.org/p/reduce.swinb

于 2020-05-15T01:03:28.457 回答