并發邏輯編程
編輯并發邏輯編程是邏輯編程的一種變體,其中程序是形式為受保護的霍恩條款的集合。從聲明上看,受保護的Horn子句被理解為普通的邏輯暗示。然而,從程序上看,當有幾個子句的頭部H與一個給定的目標相匹配時,所有的子句將被并行執行,檢查它們的守衛G1,...,Gn是否成立。如果不止一個子句的守衛成立,那么就對其中一個子句做出承諾選擇,然后執行所選子句的子目標B1,...,Bn。這些子目標也可以并行地執行。因此,并發邏輯編程實現了一種"不在乎"的非決定性,而不是"不知道"的非決定性。
并發邏輯編程的歷史
編輯xxx個并發邏輯編程語言是Clark和Gregory的關系語言,它是IC-Prolog的一個分支。后來并發邏輯編程的版本包括Shapiro的并發Prolog和Ueda的GuardedHornClause語言。當GHC被用來實現日本第五代項目(FGCS)的系統編程語言KL1時,并發邏輯編程的發展得到了推動。
內容由匿名用戶提供,本內容不代表www.gelinmeiz.com立場,內容投訴舉報請聯系www.gelinmeiz.com客服。如若轉載,請注明出處:http://www.gelinmeiz.com/170942/