Author:
Schrijvers Tom,Demoen Bart,Triska Markus,Desouter Benoit
Reference24 articles.
1. Logic for Problem Solving;Kowalski,1979
2. SWI-Prolog;Wielemaker;Theory and Practice of Logic Programming,2012
3. ECLiPSe from LP to CLP;Schimpf;Theory and Practice of Logic Programming,2012
4. M. Triska, The finite domain constraint solver of SWI-Prolog, in: Proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, in: Lecture Notes in Computer Science, vol. 7294, pp. 307–316.
5. SICStus Prolog—the first 25 years;Carlsson;Theory and Practice of Logic Programming,2012
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Disjunctive Delimited Control;Theory and Practice of Logic Programming;2023-04-11
2. Disjunctive Delimited Control;Logic-Based Program Synthesis and Transformation;2022
3. An Integrated Approach to Assertion-Based Random Testing in Prolog;Logic-Based Program Synthesis and Transformation;2020
4. Spacetime Programming;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
5. Property-Based Testing via Proof Reconstruction;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07