共 50 条
- [1] COMMERCIAL APPLICATIONS OF LARGE PROLOG KNOWLEDGE BASES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 32 - 40
- [3] Index matching hardware for selective clause retrieval in large Prolog knowledge bases Computing and Control Engineering Journal, 1993, 4 (02): : 69 - 78
- [4] CONTROL OF INCONSISTENCY AND REDUNDANCY IN PROLOG-TYPE KNOWLEDGE BASES PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : 280 - 285
- [8] PROLOG THEORETICAL BASES AND CURRENT DEVELOPMENTS TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1983, 2 (04): : 271 - 311
- [9] Representing knowledge in A-prolog Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2408 (PART2): : 413 - 451