To the WWW Logic Programming Pages## Research Area

## Logic Programming

- ACE: And/Or Stack Coping Based Implementation of Prolog
- Verification of Real-time Systems in Logic Programming
- WEB-ACE: A Parallel Logic Programming Framework for Internet Programming
- Implementation Schemes for Various Approximations of the Extended Andorra Model
- {log}: Constraint Logic Programming with Finite Sets
- Optimization of Parallel Implementation of Prolog
- PBA: Paged Binding Arrays - Universal Data Structure for Parallel Implementation of Logic Programming
- Porting of the Muse Or-Parallel Prolog to IPSC
- Semantics of Langauges and Software Engineering
- Unification-Free Implementation of Prolog

*Design and Implementation of Parallel Logic Programming Systems*

* Sequential and Parallel Implementation Technology for (Constraint) Logic
Programming*

Search Papers (still working on it)

Research Page Laboratory Home Page

Search Papers