Parallel Logic Programming

Parallel Logic Programming is a computational paradigm within logic programming that extends the execution model of deductive systems by enabling simultaneous exploration of multiple computational paths or subgoals through concurrency, thereby distinguishing itself from sequential logic programming by exploiting parallelism in search, unification, or inference mechanisms.

111

Publications

Citations

164

Authors

Institutions

Publications per year

2017–2026

Parents

Logic Programming

Publications

111

PARLOG: parallel programming in logic

Keith Clark, Steven Gregory · ACM Transactions on Programming Languages and Systems · 1986 · 327 citations · Full text

Computing, Computer Science, Parallel Algorithms +11

Concurrent Prolog: A Progress Report

Shapiro · Computer · 1986 · 196 citations

Computing, Computer Engineering, Computer Science +13

Parallel execution of prolog programs

Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali et al. · ACM Transactions on Programming Languages and Systems · 2001 · 157 citations · Full text

Computing, Computer Engineering, Computer Science +16

Static inference of modes and data dependencies in logic programs

Saumya Debray · ACM Transactions on Programming Languages and Systems · 1989 · 138 citations · Full text

Computing, Computer Science, Algorithms +16

The and/or process model for parallel interpretation of logic programs

John S. Conery · eScholarship (California Digital Library) · 1983 · 133 citations · Full text

Computing, Computer Science, Computer Systems +17

1–5 of 111

Authors

164

MV
Manuel V. Hermenegildo
Universidad Politécnica de Madrid, Spain
15 publications · 582 citations
12
h-index
LV
Laxmikant V. Kalé
University of Illinois Urbana-Champaign, United States
6 publications · 129 citations
6
h-index
JS
John S. Conery
University of Oregon, United States
5 publications · 351 citations
5
h-index
OW
Ouri Wolfson
University of Illinois Chicago, United States
5 publications · 200 citations
5
h-index
GG
Gopal Gupta
The University of Texas at Dallas, United States
4 publications · 257 citations
4
h-index

1–5 of 164

Institutions

1–8 of 66

Venues

International Conference on Lightning Protection
Conference · 12 publications · 297 citations
11
h-index
ACM Transactions on Programming Languages and Systems
7 publications · 774 citations
7
h-index
UPM Digital Archive (Technical University of Madrid)
Repository · 6 publications · 138 citations
6
h-index
The Journal of Logic Programming
5 publications · 181 citations
5
h-index
Future Generation Computer Systems
FGCS · 5 publications · 78 citations
5
h-index

1–5