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