共 50 条
- [1] Prolog for structured character description and font design [J]. JOURNAL OF LOGIC PROGRAMMING, 1996, 26 (02): : 133 - 146
- [2] AID TO HIERARCHICAL AND STRUCTURED LOGIC DESIGN USING TEMPORAL LOGIC AND PROLOG [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (05): : 283 - 294
- [3] STRUCTURED PROLOG - A LANGUAGE FOR STRUCTURED LOGIC PROGRAMMING [J]. SOFTWARE-CONCEPTS AND TOOLS, 1994, 15 (03): : 125 - 145
- [6] Application of PROLOG language to choose-type problem of mechanical design [J]. Jixie Kexue Yu Jishu, 6 (909-910, 913):
- [7] Typed static analysis:: Application to groundness analysis of PROLOG and λPROLOG [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 267 - 283
- [8] A novel course in structured systems analysis through Prolog [J]. SOFTWARE ENGINEERING IN HIGHER EDUCATION II, 1996, : 153 - 160
- [10] APPLICATION OF STRUCTURED DESIGN TECHNIQUES TO TRANSACTION PROCESSING [J]. AUSTRALIAN COMPUTER JOURNAL, 1983, 15 (02): : 69 - 75