When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Prolog for logic programming is one of the most intensively studied software languages in the 1980s. These approaches, however, were rather indirect ones in the sense that they developed programs describing AND/OR-parallelism for deduction using a data-flow language and executed them in a data-flow computer, and yet did not devise a direct' model for parallel execution (reasoning) of a logic program.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.