A parallel logic simulator based on Concurrent Prolog

Abstract

Using the framework of the parallel logical language. Concurrent Prolog, the concepts and the strategies for the parallel logic simulation are defined. Some types of a prototypical parallel logic simulator are implemented by Concurrent Prolog, and they are used for logic simulations of some sample objects. The performance and the applicability of Concurrent Prolog in the parallel logic simulation will be discussed.KeywordsParallel ProcessingInput PortDigital SystemGlobal TypeParallel LogicThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.