{"version":"1.0","type":"link","title":"Concurrent logic programming - Newikis","description":"Concurrent logic programming is a variant of logic programming designed for parallel computing in which programs are sets of guarded Horn clauses of the form:","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}