共 50 条
- [4] A higher-order logic programming language with constraints FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
- [5] Implementing HOL in an Higher Order Logic Programming Language PROCEEDINGS OF THE ELEVENTH WORKSHOP ON LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND PRACTICE (LFMTP 2016), 2016,
- [6] First-order logic as a constraint programming language LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 19 - 35
- [8] Will, Language, and Consciousness DATA BASE FOR ADVANCES IN INFORMATION SYSTEMS, 2020, 51 (02): : 3 - 7
- [10] Case study in teaching the language of first-order logic COMPLEX DEMANDS ON TEACHING REQUIRE INNOVATION: CASE METHOD & OTHER TECHNIQUES, 2000, : 255 - 261