References

1. Hassan Aït-Kaci (1991): Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press.
2. Alain Colmerauer & Philippe Roussel (1993): The Birth of Prolog. In: John A. N. Lee & Jean E. Sammet: History of Programming Languages Conference (HOPL-II), Preprints, Cambridge, Massachusetts, USA, April 20-23, 1993. ACM, pp. 37–52, doi:10.1145/154766.155362.
3. Sergii Dymchenko & Mariia Mykhailova (2015): Declaratively Solving Google Code Jam Problems with Picat. In: PADL, pp. 50–57, doi:10.1007/978-3-319-19686-2_4.
4. Pascal van Hentenryck (1989): Constraint Satisfaction in Logic Programming. MIT Press.
5. Robert Kowalski (1979): Logic for Problem Solving. North Holland, Elsevier.
6. David H. D. Warren (1983): An Abstract Prolog Instruction Set. Technical Note 309. SRI International.
7. David S. Warren (1992): Memoing for Logic Programs. Comm. of the ACM, Special Section on Logic Programming 35, pp. 93–111, doi:10.1145/131295.131299.
8. Eric Wastl (2015-now): Advent of Code. https://adventofcode.com. [Online; accessed September 7, 2025].
9. Eric Wastl (2024): Day 24: Crossed Wires. https://adventofcode.com/2024/day/24. [Online; accessed September 7, 2025].
10. Neng-Fa Zhou (2012): The Language Features and Architecture of B-Prolog. Theory and Practice of Logic Programming 12(1-2), pp. 189–218, doi:10.1017/S1471068411000445.
11. Neng-Fa Zhou (2016): Programming in Picat. In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, Lecture Notes in Computer Science 9718. Springer, pp. 3–18, doi:10.1007/978-3-319-42019-6_1.
12. Neng-Fa Zhou, Roman Barták & Agostino Dovier (2015): Planning as Tabled Logic Programming. Theory and Practice of Logic Programming 15(4-5), pp. 543–558, doi:10.1017/S1471068415000216.
13. Neng-Fa Zhou & Jonathan Fruhman (2013–2025): A User’s Guide to Picat. https://picat-lang.org. [Online; accessed September 7, 2025].
14. Neng-Fa Zhou & Jonathan Fruhman (2017): Canonicalizing High-Level Constructs in Picat. In: PADL, pp. 19–33, doi:10.1007/978-3-319-51676-9_2.
15. Neng-Fa Zhou & Håkan Kjellerstrand (2016): The Picat-SAT compiler. In: Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings 18. Springer, pp. 48–62, doi:10.1007/978-3-319-28228-2_4.
16. Neng-Fa Zhou & Håkan Kjellerstrand (2017): Optimizing SAT Encodings for Arithmetic Constraints. In: CP, pp. 671–686, doi:10.1007/978-3-319-66158-2_43.
17. Neng-Fa Zhou, Håkan Kjellerstrand & Jonathan Fruhman (2013–2025): Picat Programming Language. https://picat-lang.org. [Online; accessed September 7, 2025].
18. Neng-Fa Zhou, Håkan Kjellerstrand & Jonathan Fruhman (2015): Constraint solving and planning with Picat. Springer Briefs in Intelligent Systems 11. Springer, doi:10.1007/978-3-319-25883-6.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org