“…Parallel processing of logic programming language Pro log has recently received considerable attention for its application to the field of artificial intelligence [1, 3,4,7,13,15,16,17,20,21,22].…”
This paper describes a parallel architecture to implement PROLOG. The architecture considered here takes advantage of the OR-parallelism inherent in the language. In usual OR-parallelism architecture, multiprocessors are used to work on a relation of the database at the same time. In the pipeline OR-parallelism, a relation of the database is processed by only one of the multiprocessors at one time. As soon as a solution is found, the resolution goes forward and works on the goal down the goal tree. A hardware model is derived based on the concept and simulation studies were carried out for different numbers of processor configurations.It has been found that from the results of the simulation optimum processor configurations can be derived to meet the cost performance requirements.
“…Parallel processing of logic programming language Pro log has recently received considerable attention for its application to the field of artificial intelligence [1, 3,4,7,13,15,16,17,20,21,22].…”
This paper describes a parallel architecture to implement PROLOG. The architecture considered here takes advantage of the OR-parallelism inherent in the language. In usual OR-parallelism architecture, multiprocessors are used to work on a relation of the database at the same time. In the pipeline OR-parallelism, a relation of the database is processed by only one of the multiprocessors at one time. As soon as a solution is found, the resolution goes forward and works on the goal down the goal tree. A hardware model is derived based on the concept and simulation studies were carried out for different numbers of processor configurations.It has been found that from the results of the simulation optimum processor configurations can be derived to meet the cost performance requirements.
“…This differs from most F'rolog implementations, usually there is no distinction. However, the PRISM system [7], separates the fact database from the rule database. The execution of a program consists of rules operating on a database of facts.…”
This paper investigates the implementation of a set mode for Prolog on an associative computer. The main data type in Prolog is the list, which is processed sequentially. However, sets provide a programming paradigm more suited for an associative machine. Current attempts to incorporate sets into the Prolog language are first examined. An execution scheme for associative processors is then introduced. A possible implementation on the Associative String Processor (ASP) is then described.Results for the Nqueens problem are then presented and compared to those of other implementations of Prolo,p.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.