prolog - 在 GNU Prolog 中编译之前的术语扩展

Question

给定以下指令 + 谓词的元组:

:- web_resource(plaintext/1, [content_type(text/plain)]).
plaintext(Result) :-
    ...code...

我如何告诉gplc将这段代码转换成

plaintext([headers(['Content-Type'-'text/plain']),
           payload(Payload)]) :-
    old_plaintext(Payload).

old_plaintext(Payload) :-
    ...code...

在编译之前？ old_payload 可以递归定义。

Answer 1

GNU 序言 term-expansion目前是有限的。但是您可以使用 Logtalk(支持 GNU Prolog)术语扩展机制来实现该转换。简而言之，定义一个Logtalk hook object使用您的扩展规则，然后使用 logtalk_compile/2 谓词扩展您的 Prolog 源文件。像这样的东西:

:- object(my_expansion,
    implements(expading)).

    term_expansion((:- web_resource(Name/Arity, Headers) Clauses) :-
        % construct clauses
        ...

:- end_object.

然后:

$ gplgt
...
| ?- {my_expansion}.
...

| ?- logtalk_compile('my_source_file.pl', [hook(my_expansion), scratch_directory('.']).
...

最后一个查询将导致一个新的 Prolog 文件保存在当前目录中，其中包含扩展结果。您可以像往常一样使用 gplc 编译此文件。有关可移植 Logtalk 术语扩展机制的更多详细信息，请参阅: https://logtalk.org/manuals/userman/expansion.html