Continuations for parallel logic programming Export

@inproceedings{citeulike:681992, abstract = {This paper gives denotational models for three logic programming languages of progressive complexity, adopting the \logic programming without logic\" approach. The rst language is the control ow kernel of sequential Prolog, featuring sequential composition and backtracking. A committedchoice concurrent logic language with parallel composition (parallel AND) and don't care nondeterminism is studied next. The third language is the core of Warren's basic Andorra model, combining parallel...}, author = {Todoran, Eneia and Papaspyrou, Nikolaos}, booktitle = {Principles and Practice of Declarative Programming}, citeulike-article-id = {681992}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6979}, keywords = {concurrency, haskell, logic-programming}, pages = {257--267}, posted-at = {2006-06-02 19:16:56}, priority = {0}, title = {Continuations for parallel logic programming}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6979}, year = {2000} }

TY - CONF ID - citeulike:681992 L3 - citeulike-article-id:681992 N2 - This paper gives denotational models for three logic programming languages of progressive complexity, adopting the \logic programming without logic" approach. The rst language is the control ow kernel of sequential Prolog, featuring sequential composition and backtracking. A committedchoice concurrent logic language with parallel composition (parallel AND) and don't care nondeterminism is studied next. The third language is the core of Warren's basic Andorra model, combining parallel... EP - 267 TI - Continuations for parallel logic programming T2 - Principles and Practice of Declarative Programming SP - 257 KW - concurrency KW - haskell KW - logic-programming AU - Todoran, Eneia AU - Papaspyrou, Nikolaos PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6979 ER -