共 50 条
- [3] LOGIC AND KNOWLEDGE REPRESENTATION IN PROLOG. Dr. Dobb's journal of software tools for the professional programmer, 1987, 12 (07): : 30 - 32
- [5] COMPILING AND ANALYZING FORTH IN PROLOG. The Journal of Forth application and research, 1987, 4 (04): : 535 - 554
- [6] 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
- [7] CONSTRUCTION OF A FAULT TREE USING PROLOG. Transactions of JWRI (Japanese Welding Research Institute), 1984, 13 (01): : 115 - 119