谓词注释
提问于 2021-07-24 06:41:21
将“注解”(元信息)添加到谓词的Prolog方法是什么？
来自Java的一个典型示例是：
@Transactional
public List<User> findAll() { ... }将Transactional注释添加到谓词中有哪些Prolog选项：
users(Users) :- ...
回答 1
Stack Overflow用户
发布于 2021-07-24 07:48:37
没有(事实上)标准的解决方案。一些系统使用谓词指令(例如Ciao Prolog，ECLiPSe，...还有Logtalk)，在某些情况下，它们可以表示的信息是用户可扩展的。一些系统使用结构化注释(例如SWI-Prolog)。但无论解决方案的细节如何，最好的系统都允许使用系统反射API以编程方式检索这些信息，以便我们可以在此基础上构建开发人员工具。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/68507640
复制
腾讯云开发者
