, Resourceful systems for fault tolerance, reliability and safety An adaptative granularity control algorithm for the parallel execution of functional programs Load redistribution under faillure in distributed system, ACM Computing Surveys Future Generation Computer Systems IEEE Transaction on Computers, vol.9, issue.32299, pp.35-68163, 1983.
, Delta- Prolog: a distributed backtracking extension with events Full Prolog and scheduling OR-parallelism in MUSE, the Proceedings of the Third International ConferenceonLogic Programming Proceedings of the 1991 International Conference on Logic Programming, pp.225-240445, 1986.
, Warren's Abstract Machine : A Tutorial Reconstruction, 1992.
, Scheduling speculativework in MUSE and performance results, International Journal of Parallel Programming, p.21166, 1992.
, MUSE: a parallel Prolog system Data-aeow analysis of standard Prolog Scheduling OR-parallelism: an argonne perspective, Proceedings of the Al-Azhar Engineering ëBCHP95ë International Conference of Logic Programming Workshop on Abstract Interpretation of Logic Languages , Japan the Proceedings of the Fifth International Conference on Logic Programming, pp.1590-1605, 1994.
, Implementations of Distributed Prolog, chapter, OR-parallel Prolog System on Supernode Series in Parallel Computing. Wiley Professional Computing, P. Kacsuk and M. J. Wise Editors, pp.45-63, 1992.
, Porting of the Muse Or-parallel Prolog to IPSC860 Laboratory for Logic, Databases and Advanced Programming en cours de publication. ëBH95ë F. Bueno and M. Hermenegildo. Analysis of concurrent constraint logic programs with aexed scheduling rule, International ConferenceofLogic Programming Workshop on Abstract Interpretation of Logic Languages, pp.723-734, 1992.
, Reform Prolog: the language and its implementation On the mapping problem C-30033:207í214, 1981. ëBor84ë P. Borgwardt. Parallel Prolog using stack segments on shared memory multiprocessors, the Proceedings of the Tenth International Conference on Logic Programming the Proceedings of the 1984 International Symposium on Logic Programming, pp.2-11, 1984.
, Programmation en Prolog pour l'Intelligence Artiaecielle. iia. InterEditions Flexible scheduling OR-parallelism in Aurora: the bristol scheduler, the Proceedings of the Conference on Parallel Architectures and Languages Europe, pp.403-420, 1988.
, A practical framework for theabstract interpretation of logic programs, eve, and M. Simatic. Placement et migration de processus dans les syst emes r epartis faiblement coupl es. Techniques et Science Informatiques, pp.91-124, 1991.
DOI : 10.1016/0743-1066(91)80001-T
, Programming languages for distributed computing systems, ACM Computing Surveys, vol.21, issue.3, pp.167-172, 1989.
DOI : 10.1145/72551.72552
, Task allocation in fault-tolerant distributed systems An OR-parallel Prolog model for distributed memory systems. In PLILP'93, pages 291í301, Estonia, 1992. ëBW90ë A. Burns and A. Wellings. Real Time Systems and their Programming Languages A method for eaeciently executing horn clause programs using multiple processors Design and Implementation of an OR-parallel Prolog Engine, ëCar90ë Mats Carlsson, pp.261-281361, 1983.
, Abstract interpretation: a uniaeed model for static analysis of programs for construction or approximation of aex-points Abstract interpretation and application to logic programs, the ConferenceRecordofthe 4th ACM Symposium on Principles of Programming Languages, pp.238-252, 1977.
, AND-parallelism of logic programs based on static data dependency analysis PARLOG: Parallel programming in logic, Digest of Papers of COMPCON Spring, pp.218-225, 1985.
, Some event-driven paradigms for the visualization of logic programs Juin 1993. ëCH86ë A. Ciepielewski and B. Hausman. Performance evaluation of an orparallel execution model for logic programs Distributed concurrent constraint execution in the CIAO system Parallel interpretation of logic programs, the Proceedings of the Tenth International Conference on Logic Programming Symposium on Logic Programming Proceedings of the 1995 Compulog- Net Workshop on Parallelism and Implementation Technologies ëCia93ë P. Ciancarini. Blackbord programming in shared Prolog. In Languages and Compilers for Parallel Computing the Proceedings of the conferenceonFunctional Lanuages and Computer Architecture, pp.246-255, 1981.
, AND-parallelism in logic programs A taxonomyofscheduling in generalpurpose distributed computing systems, the Proceedings of the International Joint ConferenceinAI, pp.14422141-154, 1983.
, Symbolic Logic and Mechanical Theorem Proving Distributed scheduling under deadline constraints: A comparaison of sender-initiated and receiver-initiated approaches The ANDèOR Process Model for Parallel Execution of Logic Programs, Proceedings of the Real-Time Symposium Techniques et Sciences Informatiques, 2244:271í311, Juillet 1983. ëCol90ë A. Colmerauer. An introduction to Prolog III. Communication of the ACM IEEE International Symposium in Logic Programming, pp.175-18069, 1973.
, Parallel Interpretation of Logic Programs Crammond. The abstract machine and implementation of parallel Prolog 10044:385í422, Aout 1992. ëCS89ë A. Calderwood and P eter Szeredi. Scheduling OR-parallelism in Aurora -the manchester scheduler Contribution a l'algorithmique Non Num erique Parall ele : Exploration d'espaces de Recherche The Andorra- I: a parallel Prolog system that transparently exploits both AND and OR-parallelism, the Proceedings of the Sixth International ConferenceonLogic Programming The Proceedings of the Third ACM SIG- PLAN Symposium on Principles and Practice of Parallel Programming, pp.419-435, 1987.
, Essential issues in multiprocessor systems, IEEE Computer, pp.9-27, 1985.
, Special issue: Abstract interpretation, Journal of Logic Programming, vol.133122, 1992.
, Restricted and-parallelism, the International Conference on Fifth Generation Computer Systems, 1984.
, Lower bound cost estimation for logic programs, 1994.
, Virtual Channel Router: Version 2, 1991.
, The constraint logic programming language CHIP Wamcc Prolog User's manual, Proceedings of the International Conference on Fifth Generation Computer Systems ICFGCS'888, 1988.
, Impl ementation et evaluation d'un Syst eme Logique Parall ele, 1989.
, On the sequential nature of uniaecation 1111:35í50, 1984. ëDL84ë M. Dincbas and J. P. Lepape. Meta control of logic programs in MetaLog, Proceedings of the International Conference on Fifth Generation Computer Systems ICFGCS'844, 1984.
, Task granularity analysis in logic programs, the Proceedings of the 1990 ACM Conference on Programming Language Design and Implementation, 1990.
, ACE: AndèOR-parallel copyingbased execution of logic programs, ICLP'91 Workshop on Parallel Execution of Logic Programs, 1991.
, Towards granularity based control of parallelism in logic programs, Proceedings of PASCO'94, 1994.
, &ACE: A highperformance parallel Prolog system Avril 1995. ëGiu90ë M. Giul. The Control and the Execution of Parallel Logic Programs Analysis of OR-parallel execution models, IPPS'95. IEEE Computer Society, pp.659-680, 1990.
, And???or parallelism on shared-memory multiprocessors, The Journal of Logic Programming, vol.17, issue.1, pp.59-89, 1993.
DOI : 10.1016/0743-1066(93)90009-6
, Realistic natural language processing systems Load balancing requierements in parallel implementations of image feature extraction tasks, PAP'96: Practical Application of Prolog, pp.994-1013, 1991.
, An overview of the ACE project, Proceedings of the Esprit Compulog-Net Workshop on Parallelism and Implementation Technologies, 1995.
, Cut and side-eaeects in AND-OR parallel Prolog, Proceedings of the 4th IEEE Symposium on Parallel and Distributed Processing, 1992.
, Shared paged binding array: A universal data-structure for parallel logic programming, 1992.
, IDIOM: integrating dependent and independent and-, and ORparallelism, The International 1991 Logic Programming Symposium, pp.152-166, 1991.
, Modelling and simulation of dynamic load balancing using queuing theory Eaecient and complete tests for database integrity constraint checking Parallel Execution of Logic Programs on Shared Memory Multiprocessors Chapel Hill, 1991. ëHau90ë B. Hausman. Pruning and Speculative Work in OR-Parallel Prolog, PPCP'94: Second Workshop on Principles and Practiceof Constraint Programming, 1986.
, An abstract machine for restricted AND-parallel execution of logic programs, Third International Conference on Logic Programming, pp.25-40233, 1986.
DOI : 10.1007/3-540-16492-8_62
, Kernel Andorra Prolog and its computation model, Proceedings of the International ConferenceonLogic Programming, 1990.
, Supernode Project P1085: The development and application of low cost high performance multiprocessors machine, Proceedings of ESPRIT'86: Results and Achievements, 1986.
, Global aeow analysis as a practical compilation tool, Journal of Logic Programming, vol.13344, pp.349-366, 1992.
, Constraint logic programming: A survey, Journal of Logic Programming, vol.19, p.20, 1994.
, Static analysis of logic programs for independent and-parallelism Juillet 1992. ëKac90ë P. Kacsuk. Execution Models of Prolog for Parallel Computers, Journal of Logic Programming, vol.1332, issue.33, pp.291-314, 1990.
, LOGFLOW-2: A transputer based data driven parallel Prolog machine, Proceedings of the 1993 World Transputer Congress, pp.1154-1169, 1993.
, LOGFLOW: Prolog on massively parallel machines, Proceedings of the th International Conference on AI and Automation-Control Systems of Robots, pp.71-80, 1994.
, Wavefront Scheduling In Logflow, Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing, pp.503-510, 1985.
DOI : 10.1109/EMPDP.1994.592534
, The Reduce-OR process model for parallel evaluation of logic prorams Etude des techniques d'optimisation de la compilation du langage Prolog. Dea d'informatique, Institut National Polytechnique Plate-forme d' evaluation de strat egies de r egulation de charge : Cha^ ne de d eveloppement An environment to study dynamic load balancing functions and its application to the parallel logic system PLoSys Load sharing in soft real-time distributed computer systems, Proceedings of the Fourth International Conference of Loic Programming Esprit Compulog-Net Workshop on Parallelism and Implementation Technologies ëKar92ë R. Karlsson. A High Performance OR-parallel Prolog System, pp.616-632, 1987.
, Farramenta de avaliacao de estrategias de balanceamento dinamico de charga, Congress of the Brazilian Computer Society, XXII Software and Hardware Symposium and Panel'95 -XXI Latin American Conference on Informatics, pp.587-597, 1995.
, Task scheduling for parallel execution of logic programs on distributed memory architectures, Proceedings of the International Conference on Telecommunication, Distribution and Parallelism, pp.123-139, 1996.
, Implementations of Distributed Prolog. Parallel Computing Analyzing scalability of parallel algorithms and architectures, 1992.
, A platform to study dynamic load balancing functions for parallel logic systems Grain size determination for parallel processing R egulation dynamique de charge et tol erance aux pannes dans les architectures distribu ees a base de micro-noyau ecembre 1994. ëKle85ë L. Kleinrock. Distributed systems, Proceedings of the IEEE International Workshop on Parallel Processing Journ ees des Jeunes Chercheurs en Architectures de Machines, Syst emes, pp.580-585, 1985.
, R egulation dynamique de charge dans PLoSys, 6 eme Rencontres Francophones du Parall elisme, p.308, 1994.
, Plate-forme d' evaluation de strat egies de r egulation dynamique de charge pour le syst eme logique parall ele PLoSys The vienna abstract machine, Proceedings of Symposium on Programming Languages Implementation and Logic Programming, pp.171-175, 1990.
, Algorithme = logic + control, Communication of the ACM, vol.22277, pp.424-436, 1979.
, Logic for problem solving, ACM SIGSOFT Software Engineering Notes, vol.7, issue.2, 1979.
DOI : 10.1145/1005937.1005947
, Modelling parallel program behaviour in alpes Information and Software Technology Computational eaeciency of parallel combinatorial OR-tree searches, IEEE Transactions on Software Engineering, vol.36677, pp.457-464, 1990.
, Analysing logic programs with dynamic scheduling Automatic determination of grain size for eaecient parallel processing Compile-time derivation of variable dependency using abstract interpretation Load Distribution: Implementation for the Mach Microkernel. Verlag Viewg, 1993. ëMor96ë E. Morel. Environnement de Programmation Parall ele : Application a Prolog M ethodes de placement statiques de processus sur architectures parall eles. TSI, 10055:355í373, 1991. ëNil90ë M. Nilsson. Mobile robot control with concurrent logic languages The grand challenge cosmology consortium, The Aurora OR-parallel Prolog system. New Generation Computing Proceedings of the 20th. Annual Conference on Principles of Programming Languages Proceedings of Euromicro Workshop on Real-time Load balancing heuristics and network topologies for distributed evaluation of Prolog, pp.243-271315, 1332.
, ATHAPAS- CAN : Programmation parall ele et regulation de charge, S. Pelhat. Les boucles dans Prolog : Structures et Origines Actes du S eminairedeProgrammation Logique, pp.153-172, 1987.
, VLSI design environment in Prolog OR-parallel Prolog and search problems in AI applications, Proceedings of the aefth International Conference on Logic Programming North American Conference on Logic Programming, pp.70-81, 1988.
, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM, vol.12211, pp.23-41, 1965.
, Ecole Nationale Sup erieure de l'A eronautique et de l'Espace, Juin 1988. ëRou75ë P. Roussel. Prolog : Manuel de R ef erence et d'Utilisation. GIA, Universit e d'Aix-Marseille II, Septembre 1975, ëRow88ë N. C. Rowe. Artiaecial Intelligence Through Prolog, 1984.
, Chorus distributed operating systems 1144:305í370, D ecembre 1988. ëSal90ë V. A. Saletore. A distributed and adaptative dynamic load balancing scheme for parallel processing medium-grain tasks, Proceedings of the Fifth Distributed Memory Computing Conference, volume II, pp.994-999, 1990.
, Load distributing for locally distributed systems MultiLog: Data OR-parallel logic programming Juin 1993. ëSP89ë A. Singhal and Y. Patt. Uniaecation parallelism: How much can be exploited ? The Art of Prolog Decentralized decision making in hard real-time systems, Proceedings of the Tenth International Conference on Logic Programming Proceedings of the North American Conference on Logic Programming Series in Logic Programming ëSze91aë P. Szeredi. Solving optimisation problems in the Aurora parallel Prolog system Proc. of Parallel Execution of Logic Programs ICLP'91 Pre-conf. Work, pp.314-332, 1986.
, ëTan92ë A. Tanenbaum. Modern Operating Systems The binProlog experience: Implementing a highperformance continuation passing Prolog engine Visualizing parallel logic programming with VISTA, 1992. ëTin88ë P. Tinker. Performance of an parallel logic programming system, Using dynamic predicates in an OR-parallel Prolog system Proceedings of the Int. Conf. and Sym. on Logic Programming ëTar95ë P. Tarau Proceedings of the International Conference of the Fifth Generation Computer Systems ëUed86ë K. Ueda. Guarded Horn Clauses, pp.934-94259, 1977.
, An abstract instruction set for Prolog SRI International The SRI model for OR-parallel execution of Prolog-abstract design and implementation issues The PEPSys model: Combining backtracking, ANDand OR-parallelism Load sharing in distributed systems Heuristic methods for dynamic load balancing in message-passing supercomputer, Proceedings of the 1987 Symposium on Logic Programming ëWel95ë Brent Welch. Practical Programming in Tcl and Tk IEEE International Symposium in Logic Programming Proceedings of the Supercom- puting'90, pp.92-102, 1983.
, ORBIT: A parallel computing model of Prolog Data communication in parallel architectures A trace driven simulation study of dynamic load balancing, International Conference on Fifth Generetion Computer System, pp.74-86227, 1984.