Publisher
Springer International Publishing
Reference14 articles.
1. Apt, K.R.: From Logic Programming to Prolog. International Series in Computer Science, Prentice-Hall (1997)
2. Bratko, I.: Prolog Programming for Artificial Intelligence, 4th edn. Addison-Wesley, New York (2012)
3. Clocksin, W., Mellish, C.: Programming in Prolog: Using the ISO Standard, 5th edn. Springer, Heidelberg (2003).
https://doi.org/10.1007/978-3-642-55481-0
4. Drabent, W.: Correctness and completeness of logic programs. ACM Trans. Comput. Log. 17(3), 18:1–18:32 (2016).
https://doi.org/10.1145/2898434
5. Drabent, W.: Proving completeness of logic programs with the cut. Formal Aspects Comput. 29(1), 155–172 (2017).
https://doi.org/10.1007/s00165-016-0392-0
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Feasibility of Declarative Diagnosis;Electronic Proceedings in Theoretical Computer Science;2023-09-12
2. Declarative Application Management in the Fog;Journal of Grid Computing;2021-10-27