The Community for Technology Leaders
RSS Icon
Issue No.03 - March (1984 vol.4)
pp: 67-75
M. Williams , Heriot-Watt University
I. Aitchison , Heriot-Watt University
Fifth-generation computers will probably be based on logic programming languages like Prolog rather than on Fortran-type languages. Are such languages suitable to 3-D CAD applications?
M. Williams, I. Aitchison, "Evaluation of the Effectiveness of Prolog for a CAD Application", IEEE Computer Graphics and Applications, vol.4, no. 3, pp. 67-75, March 1984, doi:10.1109/MCG.1984.276067
1. D. H. D.Warren, “Implementing Prolog—Compiling Predicate Logic Programs,” , Dept. of Artificial Intelligence, Univ. of Edinburgh 1977
2. W. F.Clocksin and C. S.Mellish, Programming in Prolog , Springer-Verlag 1981
3. D. H.Warren, L. M.Pereira, and F.Pereira, “Prolog—the Language and Its Implementation Compared to Lisp,” Sigplan Notices Vol. 12, No. 8, pp. 109-115 Aug. 1977
4. D.McDermott, “The Prolog Phenomenon,” Sigart Newsletter No. 73, pp. 16-20 July 1980
5. H.Gallaire and J.Minker, Logic and Data Bases , Plenum Press 1978
6. F. C. N.Pereira and D. H. D.Warren, “Definite Clause Grammars for Language Analysis—A Survey of the Formalism and a Comparison with Augmented Transition Networks,” Artificial Intelligence Vol. 13, No. 3, pp. 231-278 May 1980
7. K. L.Clark and F. G.McCabe, Prolog: A Language for Implementing Expert Systems , Dept. of Computing, Imperial College Nov. 1980
8. Z.Markusz, “Application of Prolog in Designing Many Storied Dwelling Houses.” Proc. Logic Programming Workshop July14-16 1980pp. 249-260
9. T.Moto-Oka, Fifth Generation Computer Systems , 1982pp. 3-89
10. E.Santane-Toth and P.Szeredi, K. L.Clark, and S. A.Tarnlund, Logic Programming , Academic Press 1982pp. 19-32
11. W. T.Zaumen, “Computer Assisted Circuit Evaluation for VLSI,” Sept. 1982 SRI International internal report
12. W.Fitzgerald, F.Gracer, and R.Wolfe, “GRIN: Interactive Graphics for Modeling Solids,” J. IBM Research and Development Vol. 25, No. 4, pp. 281-294 July 1981
13. J. W.Boyse and J. E.Gilchrist, “GMSolid: Interactive Modeling for Design and Analysis of Solids,” IEEE Computer Graphics and Applications Vol. 2, No. 2, pp. 27-40 Mar. 1982
14. J. A.Robinson, Logic: Form and Function , Jan. 1979
15. R. A.Kowalski, Logic for Problem Solving , Elsevier 1979
16. W. F.Clocksin and J. D.Youngpp. 1-16 Aug. 1983 Computerworld
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool