CURRENT RESEARCH PROJECTS

1. Log - a Constraint Logic Programming language embedding set-theoretical constructs.

2. ACE - an And/Or-parallel implementation of Prolog.

3. Visualization of Parallel Execution of Logic Programs.

4. Extended Andorra Model and other methods for implicit exploitation of parallelism in Logic Programming.

5. Optimizations of Parallel Implementations.

6. Parallelism in AI and Automated Deduction Systems.