帕洛 39篇文献引用(1984–2022) 软件作者： 基思·克拉克；史蒂夫·格雷戈里 相关软件： GHC；SICStus公司；平滑… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP Prolog公司；YapOr… 主要字段： 计算机科学（68-XX）