- Log - a Constraint Logic Programming language
embedding set-theoretical constructs.
- ACE - an And/Or-parallel implementation of Prolog.
- Visualization of Parallel Execution of Logic Programs.
- Extended Andorra Model and other methods for implicit exploitation
of parallelism in Logic Programming.
- Optimizations of Parallel Implementations.
- Parallelism in AI and Automated Deduction Systems.
Fri Jun 2 19:41:07 MDT 1995