
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
K.L. Clark, "PARLOG and its Applications," IEEE Transactions on Software Engineering, vol. 14, no. 12, pp. 17921804, December, 1988.  
BibTex  x  
@article{ 10.1109/32.9064, author = {K.L. Clark}, title = {PARLOG and its Applications}, journal ={IEEE Transactions on Software Engineering}, volume = {14}, number = {12}, issn = {00985589}, year = {1988}, pages = {17921804}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.9064}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  PARLOG and its Applications IS  12 SN  00985589 SP1792 EP1804 EPD  17921804 A1  K.L. Clark, PY  1988 KW  PARLOG; parallel logic programming language; PARLOG; Prolog; systems programming; objectoriented programming; high level languages; logic programming; objectoriented programming; parallel programming; PROLOG VL  14 JA  IEEE Transactions on Software Engineering ER   
The key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with Prolog. Some familiarity with Prolog and with the concepts of logic programming is assumed. Two major application areas of PARLOG, systems programming and objectoriented programming, are illustrated. Other applications are briefly surveyed.
[1] K. Broda and S. Gregory, "PARLOG for discrete event simulation," inProc. 2nd Int. Conf. Logic Programming, S.A. Tarnlund, Ed., Uppsala, July 1984, pp. 301312.
[2] M. Buckle, "Process modelling in PARLOG," M.Sc. thesis, Dep. Artificial Intell., Univ. Edinburgh, 1987.
[3] K. L. Clark, "PARLOG: The language and its applications," inProc. PARLE Conf., Eindoven, The Netherlands. Berlin: SpringerVerlag, 1987, pp. 212242.
[4] K. L. Clark, and I. T. Foster, "A declarative environment for concurrent logic programming," inProc. Tapsoft 87 Conf., Pisa, Italy. Berlin: SpringerVerlag, 1987.
[5] K. L. Clark and S. Gregory, "A relational language for parallel programming," inProc. ACM Conf. Functional Languages and Computer Architecture, Portsmouth, NH, Arvind and J. Dennis, Eds., 1981, pp. 171178.
[6] K. L. Clark and S. Gregory, "PARLOG: Parallel programming in logic,"ACM Trans. Program. Lang., vol. 8, pp. 149, 1986.
[7] K. L. Clark and S. Gregory, "Notes on systems programming in PARLOG," inProc. Int. Conf. Fifth Generation Computer Systems, Tokyo, H. Aiso, Ed. Amsterdam, The Netherlands: Elsevier/NorthHollland, 1984, pp. 299306.
[8] K. L. Clark and S. Gregory, "Notes on the implementation of PARLOG,"J. Logic Programming, vol. 2, no. 1, pp. 1742, 1985.
[9] K. L. Clark and S. Gregory, "PARLOG and Prolog united," inProc. 4th Int. Logic Programming Conf., Melbourne. Cambridge, MA: MIT Press, 1987, pp. 927961.
[10] J. Crammond, "Implementation of committed choice languages on shared memory multiprocessors," PARLOG Group, Dep. Comput., Imperial College, London, Res. Rep. (in preparation), 1988.
[11] M. G. Cutcher and M. J. Rigg, "PARAMEDICL: A computer aided medical diagnosis system for parallel architectures,"ICL Tech. J., vol. 5, no. 3, pp. 376384, 1987.
[12] A. Davison, "POLKA, a PARLOG object oriented language," PARLOG Res. Group, Dep. Comput., Imperial College, London, Res. Rep., 1987.
[13] A. Davison, "Representing blackboards in PARLOG," PARLOG Res. Group, Dep. Comput., Imperial College, London, Res. Rep., 1987.
[14] J. Darlington and M. Reeve, "AliceA Multiprocessor Reduction Machine for the Parallel Evaluation of Applicative Languages,"Proc. 1981 ACM Conf. Functional Programming Languages and Computer Architecture, 1981, pp. 6575.
[15] E. W. Dijkstra,A Discipline of Programming. Englewood Cliffs, NJ: PrenticeHall, 1976.
[16] N. A. Elshiewy, "Logic programming of real time control of telecommunication systems," Comput. Sci. Lab., Ericsson Telecom, Sweden, Res. Rep., 1987.
[17] I. T. Foster, "The PARLOG programming system: Reference manual," PARLOG Res. Group, Dep. Comput., Imperial College, London, 1986.
[18] I. T. Foster, "Logic operating systems: Design issues," inProc. 4th Int. Logic Programming Conf., Melbourne. Cambridge, MA: MIT Press, 1987, pp. 910926.
[19] I. T. Foster, "Parallel implementation of PARLOG," PARLOG Res. Group, Dep. Comput., Imperial College, London, Res. Rep., 1987.
[20] I. T. Foster, "Efficient metacontrol in parallel logic programming languages, "PARLOG Res. Group, Dep. Comput., Imperial College, London, Res. Rep., 1987.
[21] I. T. Foster, S. Gregory, G. A. Ringwood, and K. Satoh, "A sequential implementation of PARLOG," inProc. 3rd Int. Logic Programming Conf., London. Berlin: SpringerVerlag, 1986, pp. 149 156.
[22] J. Garcia, M. Jourdan, and A. Rizk, "An implementation of PARLOG using high level tools," inProc. ESPRIT 87: Achievements and Impact. Amsterdam, The Netherlands: NorthHolland, 1987, pp. 12651275.
[23] D. Gilbert, "Implementing LOTOS in PARLOG," M.Sc. thesis, Dep. Comput., Imperial College, London, 1987.
[24] D. Gilbert, "Executable LOTOS: Using PARLOG to implement an FDT," inProc. Protocol Specification, Testing and Verification VII, Zurich, 1987.
[25] S. Gregory,Parallel Logic Programming in Parlogthe Language and its Implementation(Int. Series in Logic Program.). London: AddisonWesley, 1987.
[26] S. Gregory, I. Foster, A. D. Burt, and G. A. Ringwood, "An abstract machine for the implementation of PARLOG on uniprocessors," PARLOG Res. Group, Dep. Comput., Imperial College, London, Res. Rep., 1987.
[27] S. Gregory, R. Neely, and G. A. Ringwood, "PARLOG for specification, verification and simulation," inProc. 7th Int. Symp. Computer Hardware Description Languages and their Applications, Tokyo, C. J. Koomen and T. Motooka, Eds. Amsterdam, The Netherlands: Elsevier/NorthHolland, 1985, pp. 139148.
[28] C. A. R. Hoare, "Communicating sequential processes,"Commun. ACM, vol. 21, pp. 666677, 1978.
[29] M. H. Huntbach, "Algorithmic PARLOG debugging," inProc. 1987 Symp. Logic Programming, San Francisco, CA, IEEE Comput. Soc. Press, 1987, pp. 288297.
[30] M. H. Huntbach, "The partial evaluation of PARLOG programs," PARLOG Res. Group, Dep. Comput., Imperial College, London, Res. Rep., 1987.
[31] K. Kahn, E. D. Tribble, M. S. Miller, D. G. Bobrow, "Objects in concurrent logic languages," inProc. OOPSLA '86, Portland, OR, ACM, 1986.
[32] M. Lam and G. Gregory, "PARLOG and ALICE: A marriage of convenience," inProc. 4th Int. Logic Programming Conf., Melbourne. Cambridge, MA: MIT Press, 1987, pp. 294310.
[33] M. Lam and G. Gregory, "Implementation of PARLOG on DACTL," PARLOG Res. Group, Dep. Comput., Imperial College, London, Draft Paper, 1987.
[34] F. G. McCabe, K. L. Clark, and B. D. Steel,microPARLOG 3.1 Programmers Reference Manual, Logic Programming Associates Ltd., London, 1984.
[35] Y. Matsumoto, "A parallel parsing system for natural language analysis," inProc. 3rd Int. Logic Programming Conf., London. Berlin: SpringerVerlag, 1986, pp. 396409.
[36] C. Mierkowsky, S. Taylor, E. Shapiro, J. Levy, and M. Safra, "The design and Implementation of Flat Concurrent Prolog," Dep. Appl. Math., Weizmann Inst., Tech. Rep. CS8509, 1985.
[37] G. A. Ringwood, "The dining logicians," M.Sc. thesis, Dep. Comput., Imperial College, London, 1984.
[38] G. A. Ringwood, "PARLOG86 and the dining logicians," PARLOG Res. Group, Dep. Comput., Imperial College, London, 1987; to appear inCommun. ACM, 1988.
[39] E. Y. Shapiro, "A subset of Concurrent Prolog and its interpreter," ICOT, Tech. Rep. TR003, Tokyo, 1983.
[40] E. Y. Shapiro and C. Mierowsky, "Fair, biased, and self balancing merge operators," inProc. IEEE Symp. Logic Programming, Atlantic City, NJ, IEEE Comput. Soc. Press, 1984, pp. 8390.
[41] E. Y. Shapiro and A. Takeuchi, "Object oriented programming in Concurrent Prolog,"New Generation Comput., vol. 1, pp. 2548, 1983.
[42] A. Takeuchi and K. Furakawa, "Bounded buffer communication in Concurrent Prolog,"New Generation Comput., vol. 3, no. 2, pp. 145155, 1985.
[43] A. Takeuchi and K. Furukawa,Parallel Logic Programming Languages(LNCS 225). New York: SpringerVerlag, 1986, pp. 242254.
[44] R. Trehan and P. Wilk, "A parallel shiftreduce parser for committed choice nondeterministic logic languages," Artificial Intell. Applicat. Inst., Edinburgh Univ., Teeh. Rep. A1A1TR26, 1987.
[45] K. Ueda, "Guarded horn clauses," ICOT, Tokyo, Tech. Rep. TR 103, 1985.
[46] R. Yang and H. Aiso, in "PProlog: A parallel logic language based on exclusive relation," inProc. 3rd Int. Logic Programming Conf., London. Berlin: SpringerVerlag, 1986, pp. 259269.