Gopal Gupta

• Logic programming
• Multiprocessor Execution of Logic Programs
• Practical Aspects of Declarative Languages
• Logic Programming and Nonmonotonic Reasoning
• Logic-Based Program Synthesis and Transformation