{"type":"ScholarlyArticle","title":"Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking","authors":[{"name":"Nikos Drakos","slug":"nikos-drakos","given":"Nikos","family":"Drakos","affiliation":""}],"abstract":"A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBn aimed at improving the efficiency of execution while remaining faithful to conventional syntax and semantics. This is achieved with maximum exploitation of parallelism, DDBT, support of opportunistic stream parallelism and potentially parallel backtracking. The same dependency information needed for DDBT is used to resolve variable binding conflicts. An algorithmic description of the behavior of processes embodying logical procedures is given. Circular dependencies arising out of the opportunistic nature of execution are removed by imposing an ordering on dependencies with an overwriting rule. Various aspects of the model are discussed and illustrated with examples.","doi":null,"url":"https://ijcai.org/proceedings/1989/25","pdf":"https://ijcai.org/proceedings/1989/0025.pdf","markdown":"https://ijcai.org/proceedings/1989/25.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/25","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Parallel and Distributed Processing","track":"Parallel and Distributed Processing","number":25,"pages":{"first":157,"last":161},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}