共 50 条
- [1] A higher-order logic programming language with constraints [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
- [2] On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming [J]. FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2020, 2020, 12073 : 106 - 123
- [5] Implementing tactics and tacticals in a higher-order logic programming language [J]. Journal of Automated Reasoning, 1993, 11 (01):
- [8] Certifying compilers using higher-order theorem provers as certificate checkers [J]. Formal Methods in System Design, 2011, 38 : 33 - 61
- [9] Extensional Higher-Order Logic Programming [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 91 - 103