共 50 条
- [2] Improving Prolog programs: Refactoring for prolog [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 58 - 72
- [4] THE PERFORMANCE OF PARALLEL PROLOG PROGRAMS [J]. IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (12) : 1434 - 1445
- [8] Translating relational programs into Prolog [J]. RELATIONAL METHODS FOR COMPUTER SCIENCE APPLICATIONS, 2001, 65 : 15 - 35
- [9] Abstract interpretation of Prolog programs [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 455 - 470
- [10] The multipath architecture for prolog programs [J]. COMPUTER JOURNAL, 1996, 39 (09): : 780 - 792