Wielemaker,简;法布里齐奥·里古齐;罗伯特·A·科瓦尔斯基。;托比恩拉格;法里巴·萨德里;米盖尔·卡列霍 使用SWISH实现基于逻辑语言的交互式网络教程。 (英语) Zbl 1486.68029号 理论与实践。日志。程序。 19,第2期,229-261(2019).MSC公司:68N17号 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.Wielemaker}等人,《理论与实践》。日志。程序。19,第2号,229--261(2019;Zbl 1486.68029) 全文: 内政部 arXiv公司
罗伯特·科瓦尔斯基;法里巴·萨德里 没有逻辑编程的逻辑编程。 (英语) Zbl 1379.68095号 理论与实践。日志。程序。 16,第3期,269-295(2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski}和\textit{F.Sadri},理论与实践。日志。程序。16,第3号,269--295(2016;Zbl 1379.68095) 全文: 内政部 arXiv公司