Publications:

---

• Some Essential Side-effects of Prolog on a Distributed Implementation.
  L. Araujo,
  Computers and Artificial Intelligence, 19(2), (2000), p. 147-168, SAPAcademic Press Ltd.
  [Abstract][Full text] [bib]


• Parallel Impletation of Constraint Solving.
  A. Ruiz-Andino, L. Araujo, F. Saez, J. J. Ruz.
  Proc. of the 5th Parallel Computing Technologies (PaCT) 99,
  LNCS 1662, Springer-Verlag, pp. 466--471, (1999).
  [Abstract] [Full text] [bib]
  
• Parallel Execution Models for Constraint Programming over Finite Domains.
  A. Ruiz-Andino, L. Araujo, F. Saez, J. J. Ruz.
  Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP) 99.
  Lecture Notes on Computer Science 1702, Springer-Verlag, pp. 134-151.
  [Abstract][Full text] [bib]
  
• Parallel Execution of Prolog with Granularity Control.
  Lourdes Araujo, José J. Ruz,
  Future Generation Computer Systems (Elsevier Science), 13(6), (1998), p. 421-441.
  [Abstract] [Full text][bib]
  
• Parallel Evolutionary Optimization with Constraint Propagation.
  A. Ruiz-Andino, L. Araujo,  J. J. Ruz, F. Sáez.
  Proceedings of the International Conference on Parallel Problem Solving from Nature (PPSN)1998.
  Lecture Notes on Computer Science 1498, Springer-Verlag, pp 270-279.
  [Abstract] [Full text] [bib]
   
• Parallel Arc-Consistency for Functional Constraints.
  A. Ruiz-Andino, L. Araujo, F. Sáez, J. J. Ruz.
  Proc. of the Int. Workshop on Implementation Technologies for Programming Languages based on Logic.
  Manchester, UK, June 1998. MIT Press, pp. 86-100.
  [Abstract] [Full text] [bib]
  
• A Parallel Prolog System for Distributed Memory
  Lourdes Araujo, José J. Ruz,
  Journal Logic Programming (Elsevier Science), 33(1), (1997), p. 49-79.
  [Abstract][Full text] [bib] text]
   
• Towards Full Prolog on a Distributed Architecture
  L. Araujo,
   Proc. of Euro-Par'97, (1997), LNCS 1300, Springer-Verlag, p. 1173-1180.
  [Abstract] [Full text] [Abstract]
  
• A Correctness proof of a Distributed Implementation of Prolog by means of Abstract State Machines.
  Lourdes Araujo.
  Journal of Universal Computer Science (Springer-Verlag), 3(5), (1997) p. 568-602.
  [Abstract][Full text] [bib]


• PDP: Prolog Distributed Processor for Independent_AND/OR Parallel Execution of Prolog.
  Lourdes Araujo, José J. Ruz,
  Proc. of Int. Conf. of Logic Programming (1994), p. 142-156. MIT Press.
  [Abstract] [Full text] [bib]
   
• A Transputer-based Prolog Distributed Processor.
  Lourdes Araujo, José J. Ruz,
  Progress in Transputer and Occam Research. IOS Press (1994).
  Proc. WOTUG-17 (1994), p. 205-219.
  [Abstract] [Full text] [bib]
  
• OR-Parallel Execution of Prolog on a Transputer-Based System.
  Lourdes Araujo, José J. Ruz,
  Transputer and Occam Research: New Directions. IOS Press, (1993).
  Proc. WOTUG-16 (1993), p. 167-181.
  [Abstract] [Full text] [bib]

Lourdes Araujo
lurdes@lsi.uned.es

---