## Research Area

## Logic Programming

- ACE:And/Or-parallel Copying-based Execution of Logic Programs
- Analysis of Or-Parallel Models for Logic Programs
- And-Or Parallelism in Full Prolog with Paged Binding Arrays
- And-Or Parallel Prolog: A Recomputation Based Approach
- AO-WAM: A WAM Extension for Compiled And-Or Parallelism
- Compiling Intensional Sets in a CLP Lan guage
- Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog
- Embedding Finite Sets in a Logic Progra mming Language
- Embedding Finite Sets in a Logic P rogramming Language: Theory and Implementation
- Extensional and Intensional Sets in CLP with Intensional Negation
- IDIOM: Integrating Dependent and-, Independent and-, and Or-Parallelism
- Implementation and Application Framewor ks for the language {log}: the project AXL
- Implementation and Performance of &ACE: An Independent And-Parallel System
- Implementing Prolog Programs Free from Unification
- A Language for Programming in Logic wit h Finite Sets
- Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems
- Logic Programming as an Introductory Programming Paradigm
- {log}: A logic programming language wit h finite sets
- Optimal Implementation of And-Or Parallel Prolog
- Optimizing And-Or Parallel Implementations
- Parallel Execution of Prolog Programs: A Survey
- Shared Paged Binding Array: A Universal Data-Structure for Parallel Logic Programming
- A Systematic Approach to Exploiting Implicit Parallelism in Prolog
- A WAM-based Implementation of a Logic Language with Sets

Logic Prog. Page Research Page Lab Home Page