A rationale for conditional equational programming

Mathematics

• Rewriting 84%
• Programming 70%
• Functional Programming 32%
• Confluence 31%
• Logic Programming 30%
• Prolog 17%
• Property A 16%
• Expressive Power 14%
• Term 13%
• Termination 13%
• Predicate 12%
• Correctness 12%
• Paradigm 12%
• Syntax 12%
• Semantics 10%
• Completeness 10%
• Language 9%
• Higher Order 8%

Engineering & Materials Science

• Functional programming 100%
• Logic programming 89%
• Semantics 25%