Cut and Side-Effects in a Data-Driven Implementation of Prolog.

Andrzej Ciepielewski

Surapong Auwatanamongkol Andrzej Ciepielewski Prasenjit Biswas Cut and Side-Effects in a Data-Driven Implementation of Prolog. 223-250 1994 12 New Gener. Comput. 3 db/journals/ngc/ngc12.html#AuwatanamongkolCB94 https://doi.org/10.1007/BF03037344

Andrzej Ciepielewski Scheduling in or-parallel Prolog systems: Survey and open problems. 421-451 1991 20 Int. J. Parallel Program. 6 https://doi.org/10.1007/BF01547894 db/journals/ijpp/ijpp20.html#Ciepielewski91

Andrzej Ciepielewski Parallel Implementations of Prolog. 835 1990 conf/slp/1990 NACLP db/conf/slp/slp90.html#Ciepielewski90

Andrzej Ciepielewski Seif Haridi Bogumil Hausman Or-Parallel Prolog on Shared Memory Multiprocessors. 125-148 1989 7 J. Log. Program. 2 db/journals/jlp/jlp7.html#CiepielewskiHH89 https://doi.org/10.1016/0743-1066(89)90012-5

Ewing L. Lusk Ralph Butler Terry Disz Robert Olson Ross A. Overbeek Rick L. Stevens David H. D. Warren Alan Calderwood Péter Szeredi Seif Haridi Per Brand Mats Carlsson Andrzej Ciepielewski Bogumil Hausman The Aurora Or-Parallel Prolog System. 819-830 1988 conf/fgcs/1988 FGCS db/conf/fgcs/fgcs88.html#LuskBDOOSWCSHBCCH88 Bogumil Hausman Andrzej Ciepielewski Alan Calderwood Cut and Side-Effects in Or-Parallel Prolog. 831-840 1988 conf/fgcs/1988 FGCS db/conf/fgcs/fgcs88.html#HausmanCC88 Bogumil Hausman Andrzej Ciepielewski Seif Haridi OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. 69-79 1987 conf/slp/1987 SLP db/conf/slp/slp87.html#HausmanCH87 Andrzej Ciepielewski Bogumil Hausman Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs. 246-257 1986 conf/slp/1986 SLP db/conf/slp/slp86.html#CiepielewskiH86 Andrzej Ciepielewski Seif Haridi Execution of Bagof on the Or-Parallel Token Machine. 551-560 1984 conf/fgcs/1984 FGCS db/conf/fgcs/fgcs84.html#CiepielewskiH84 Andrzej Ciepielewski Seif Haridi Control of Activities in the Or-Parallel Token Machine. 49-57 1984 conf/slp/1984 SLP db/conf/slp/slp84.html#CiepielewskiH84

Andrzej Ciepielewski Thomas Jungefeldt Jan Linnéll Connecting a minicomputer to an X.25 network: a case study. 11-30 1983 13 Comput. Commun. Rev. 1 https://doi.org/10.1145/1015608.1015609 db/journals/ccr/ccr13.html#CiepielewskiJL83

Andrzej Ciepielewski Seif Haridi Control of Activities in the Or-Parallel Token Machine (Abstract). 536 1983 Logic Programming Workshop http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p536-Ciepielewski.pdf conf/iclp/1983w db/conf/iclp/lpw1983.html#CiepielewskiH83 Seif Haridi Andrzej Ciepielewski An Or-Parallel Token Machine. 537-552 1983 Logic Programming Workshop http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p537-Haridi.pdf conf/iclp/1983w db/conf/iclp/lpw1983.html#HaridiC83 Andrzej Ciepielewski Seif Haridi A Formal Model for Or-Parallel Execution of Logic Programs. 299-305 1983 conf/ifip/1983 IFIP Congress db/conf/ifip/ifip83.html#CiepielewskiH83 Surapong Auwatanamongkol Prasenjit Biswas Per Brand Ralph M. ButlerRalph Butler Alan Calderwood Mats Carlsson Terry Disz Seif Haridi Bogumil Hausman Thomas Jungefeldt Jan Linnéll Ewing L. Lusk Robert Olson Ross A. Overbeek Rick L. Stevens Péter Szeredi David H. D. Warren