Scoping constructs in logic programming: Implementation problems and their solution

Keyphrases

• Abstract Machines 100%
• Implementation Problems 100%
• Logic Programming 100%
• High-order 50%
• Efficient Implementation 50%
• Prolog 50%
• Universal Quantifier 50%
• Mixed Order 50%
• Free Variables 50%
• Subgoals 50%
• Universal Quantification 50%
• Logical Variable 50%
• Higher-order Logic Programming 50%
• Logic Programming Language 50%
• Existential Quantifier 50%

Computer Science

• Abstract Machine 100%
• Logic Programming 100%
• Backtracking 50%
• Free Variable 50%
• Universal Quantification 50%
• high-order logic 50%
• Programming Language 50%
• Efficient Implementation 50%
• Existential Quantifier 50%