数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
高阶逻辑 47篇文献引用(1993–2021) 软件作者： 陈卫东；迈克尔·基弗；大卫·S·沃伦 相关软件： Hiord；swrl；XSB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数据日志LITE 9份文件引用(2002–2019) 软件作者： 乔治·戈特洛布（Georg Gottlob）；Erich Grädel；赫尔穆特·维思 相关软件： XPath；Ltur；计算TW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨奇莫尔比德 6篇文献引用(1995–2004) 软件作者： 唐纳德·洛夫兰（Donald W.Loveland）。；阿德南·H·叶海亚。 相关软件： 萨奇莫；DWAM；DCTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
千对数 6篇文献引用(2014–2022) 软件作者： 保罗·弗雷斯科尼；法布里齐奥·科斯塔；Luc De Raedt；库尔特·德·格雷夫 相关软件： ProbLog；PyTorch；Aleph… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CDOL公司 4份文件引用(1997–2002) 软件作者： 苏珊·厄本（Susan D.Urban）。；卡拉迪姆（Anton P.Karadimce）。；迪特里希，苏珊娜·W。；阿卜杜拉提夫（Abdellatif），陶菲克·本（Taoufik Ben）；Chan，Hon Wai Rene先生 相关软件： – 主要字段： 计算机科学（68-XX）
逻辑QL 2份文件引用(2016–2017) 软件作者： Terry Halpin，Spencer Rugaber公司 相关软件： 数据日志；DeepDive；风险投资… 主要字段： 计算机科学（68-XX）