谓词注解

Question

向谓词添加“注释”（元信息）的 Prolog 方式是什么？

Java 的一个典型例子是：

@Transactional
public List<User> findAll() { ... }

将 Transactional 注释添加到谓词的 Prolog 选项是什么：

users(Users) :- ...

Answer 1

没有（事实上的）标准解决方案。一些系统使用谓词指令（例如 Ciao Prolog、ECLiPSe、...还有 Logtalk），在某些情况下，它们可以表示用户可扩展的信息。一些系统使用结构化注释（例如 SWI-Prolog）。但无论解决方案的具体情况如何，最好的系统都允许使用系统反射 API 以编程方式检索该信息，以便我们可以在此基础上开发开发工具。