1. Analía Amandi , Marcelo Campo , and Alejandro Zunino . 2005. JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Computer languages, systems & structures 31, 1 ( 2005 ), 17–33. Analía Amandi, Marcelo Campo, and Alejandro Zunino. 2005. JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Computer languages, systems & structures 31, 1 (2005), 17–33.
2. Krzysztof Apt , J Brunekreef , V Partinton , and A Schaerf . 1998. Alma-0: An imperative language thet supports declarative programming. ACM transactions on programming languages and systems 20, 5 ( 1998 ), 1014–1066. Krzysztof Apt, J Brunekreef, V Partinton, and A Schaerf. 1998. Alma-0: An imperative language thet supports declarative programming. ACM transactions on programming languages and systems 20, 5 (1998), 1014–1066.
3. Krzysztof R. Apt and Andrea Schaerf. 1997. Search and Imperative Programming . In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ( Paris, France) (POPL ’97). Association for Computing Machinery, New York, NY, USA, 67–79. https://doi.org/10.1145/263699.263709 10.1145/263699.263709 Krzysztof R. Apt and Andrea Schaerf. 1997. Search and Imperative Programming. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Paris, France) (POPL ’97). Association for Computing Machinery, New York, NY, USA, 67–79. https://doi.org/10.1145/263699.263709
4. Krzysztof R. Apt and Andrea Schaerf . 1999 . The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming . https://doi.org/10.48550/ARXIV.CS/9907027 10.48550/ARXIV.CS Krzysztof R. Apt and Andrea Schaerf. 1999. The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. https://doi.org/10.48550/ARXIV.CS/9907027
5. Contributions to the Theory of Logic Programming