This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bhattacharya, A., Konar, A. and Mandal, A. K., “A parallel and distributed computational approach to logic programming,” Proc. of International Workshop on Distributed Computing (IWDC 2001), held in Calcutta, December 2001.
Ganguly, S., Silberschatz, A., Tsur, S., “Mapping datalog program execution to networks of processors,” IEEE Trans. on Knowledge and Data Engg., vol. 7, no. 3, June 1995.
Hermenegildo, M. and Tick, E., “Memory performance of AND-parallel PROLOG on shared-memory architecture,” Proc. of the 1988 Int. Conf., on Parallel Processing, vol. II, Software, pp. 17–21, Aug. 15–19, 1988.
Hwang, K. and Briggs, F. A., Computer Architecture and Parallel Processing, McGraw-Hill, pp. 27–35, 1986.
Jeffrey, J., Lobo, J. and Murata, T., “A high-level Petri net for goal-directed semantics of Horn clause logic,” IEEE Trans. on Knowledge and Data Engineering, vol. 8, no. 2, April 1996.
Kale, M. V., Parallel Problem Solving, In Parallel Algorithms for Machine Intelligence and Vision, Kumar, V., Gopalakrishnan, P. S. and Kanal, L.N. (Eds.), Springer-Verlag, Heidelberg, 1990.
Konar, A., Uncertainty Management in Expert Systems Using Fuzzy Petri Nets, Ph.D. Thesis, Jadavpur University, 1994.
Konar, A. and Mandal, A. K., “Uncertainty management in expert systems using fuzzy Petri nets,” IEEE Trans. on Knowledge and Data Engg., vol. 8., no.1, Feb. 1996.
Li, L., “High level Petri net model of logic program with negation,” IEEE Trans. on Knowledge and Data Engg., vol. 6, no. 3, June 1994.
Murata, T. and Yamaguchi, H., “A Petri net with negative tokens and its application to automated reasoning,” Proc. of the 33rd Midwest Symp. on Circuits and Systems, Calgary, Canada, Aug. 12–15, 1990.
Naganuma, J., Ogura, T., Yamada, S-I., and Kimura, T., “High-speed CAM-based Architecture for a Prolog Machine (ASCA),” IEEE Transactions on Computers, vol. 37, no.11, November 1988.
Patt, Y. N., “Alternative Implementations of Prolog: the micro architecture perspectives,” IEEE Trans. on Systems, Man and Cybernetics, vol. 19, no.4, July/August 1989.
Peterka, G. and Murata, T., “Proof procedure and answer extraction in Petri net model of logic programs,” IEEE Trans. on Software Eng., vol. 15, no. 2, Feb. 1989.
Takeuchi, A., Parallel Logic Programming, Wiley, 1992.
Yan, J. C., “Towards parallel knowledge processing,” In Advanced series on Artificial Intelligence: Knowledge Engineering Shells, Systems and Techniques, Bourbakis, N. G. (Ed.), vol. 2, World Scientific, 1993.
Rights and permissions
Copyright information
© 2005 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2005). Parallel and Distributed Logic Programming. In: Cognitive Engineering. Advanced Information and Knowledge Processing. Springer, London. https://doi.org/10.1007/1-84628-234-9_2
Download citation
DOI: https://doi.org/10.1007/1-84628-234-9_2
Publisher Name: Springer, London
Print ISBN: 978-1-85233-975-3
Online ISBN: 978-1-84628-234-8
eBook Packages: Computer ScienceComputer Science (R0)