Research Area 
Logic Programming

To the WWW Logic Programming Pages

• 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

Multiprocessor Execution of Logic Programs

Design and Implementation of Parallel Logic Programming Systems

Sequential and Parallel Implementation Technology for (Constraint) Logic Programming

List of All the Papers

Search Papers (still working on it)

 Research Page         Laboratory Home Page

Search Papers