HYPOPAR:Parallel Logic Programming on Distributed Systems
Parallel processing of logic programs in distributed systems takes
advantage of highly scalable parallelism in distributed systems to
speed up logic-based Artificial Intelligence application systems.
This research project aims at investigating execution models, abstract
machines, and implementation techniques for building parallel logic
programming systems efficiently on general purpose distributed systems.
Prototype systems will be designed and developed to demonstrate and
evaluate the efficiency and effectiveness of our approach in supporting
parallel hypothetico-deductive systems and constraint satisfaction problems.
Papers
Handling Side-effects and Cuts with Selective Recomputation
in Parallel Prolog,
Zhiyi Huang, Chengzheng Sun, and Abdul Sattar,
to appear in Future Generation Computer Systems,
North-Holland, Elsevier Science Publishers B.V., 2000.
Parallel Logic Programming
on Distributed Shared Memory System,
Zhiyi Huang, Chengzheng Sun, Abdul Sattar, and Wan-Ju Lei,
in Proceedings of the IEEE International Conference on
Intelligent Processing Systems 1997, pp.1138-1142, Oct. 1997.
Selective Recomputation for Handling Side-effects
in Parallel Logic Programs,
Zhiyi Huang, Chengzheng Sun, and Abdul Sattar,
in Proceedings of the Ninth International Symposium on
Programming, Languages, Implementations, Logics, and Programs,
LNCS 1292, Springer-Verlag, pp.275-289, Sep. 1997.
Handling Side-effects with Selective Recomputation
in AND/OR Parallel Execution Models (extended abstract),
Zhiyi Huang, Chengzheng Sun, and Abdul Sattar,
in Proceedings of the Fourteenth International Conference on
Logic Programming, June 1997.
Reduction of Code Space in Parallel Logic Programming Systems,
Zhiyi Huang, Chengzheng Sun, and Shouren Hu,
in Proceedings of Parallel Architectures and Languages Europe
(PARLE'90), Netherlands, 1991.
A Compiling Approach for Exploiting AND--Parallelism
in Parallel Logic Programming Systems,
Zhiyi Huang and Shouren Hu,
Journal of Future Generation Computer Systems, 1990(6),North-Holland,
pp35-41. Also appeared in Proceedings of Parallel
Architectures and Languages Europe (PARLE'89),
Netherlands, 1989, pp335-345.
Return to Zhiyi Huang's Home Page
Dated: 11 September 1998
Author: Z. Huang