Some paradigms for visualizing parallel execution of logic programs

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

Icola — Incremental Constraint-Based Graphics forVisualization

Constraints

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Concurrency, Graphs and Models

Programming constraint services: high-level programming of standard and new constraint services

Programming constraint services: high-level programming of standard and new constraint services

An overview of ciao and its design philosophy

Theory and Practice of Logic Programming - Prolog Systems

Relating data-parallelism and (and-) parallelism in logic programs

Computer Languages