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