共 50 条
- [5] LOGIC AND KNOWLEDGE REPRESENTATION IN PROLOG. Dr. Dobb's journal of software tools for the professional programmer, 1987, 12 (07): : 30 - 32
- [6] COMPILING AND ANALYZING FORTH IN PROLOG. The Journal of Forth application and research, 1987, 4 (04): : 535 - 554
- [7] A Declarative Semantics for Bousi∼Prolog. PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 149 - 160
- [8] CONSTRUCTION OF A FAULT TREE USING PROLOG. Transactions of JWRI (Japanese Welding Research Institute), 1984, 13 (01): : 115 - 119