LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o临床；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
2百万吨 2份文件引用(2022) 软件作者： 乔瓦尼·西亚托、罗伯塔·卡莱加里、安德烈亚·奥米西尼 相关软件： SWI Prolog公司；重新规范；tuProlog… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）