A treatment of higher-order features in logic programming

Keyphrases

• High-order Features 100%
• Logic Programming 100%
• Lambda Term 100%
• Unification Problem 100%
• High-order 50%
• Determinism 50%
• First-order 50%
• De Bruijn 50%
• Prolog 50%
• Implementation Problems 50%
• Intended Use 50%
• Ordering Behavior 50%
• Programming Paradigms 50%
• Special Mechanism 50%
• Prolog Terms 50%
• Metaprogramming 50%
• Comparison Operation 50%
• Typed lambda Calculus 50%
• Higher-order Unification 50%
• Impredicative Encodings 50%

Computer Science

• Unification Problem 100%
• Logic Programming 100%
• Programming Paradigm 50%
• Special Mechanism 50%
• Order Unification 50%
• Unification Operation 50%
• Prolog Language 50%
• Computation Step 50%
• lambda-calculus 50%
• meta programming 50%