Using object-orientation to implement logic programming

ABSTRACT

Since their introduction, microcomputers have undergone a revolution in which the standard text-based input and output facilities have been replaced by powerful graphics and pointing devices. As a result, most applications are now driven by easy-to-use pictorial interfaces. Consequently, microcomputers are now mainly used by people who are not computer professionals and expect increasingly sophisticated and powerful applications. The resulting pressure on the software development industry has caused the adoption of powerful design and development techniques such as object-orientation, logic programming and pictorial languages. It now appears that a second revolution is imminent, involving the use of special hardware for such tasks as parallel processing and object management. The software component of this revolution involves the integration of various high level programming paradigms and their implementation on special hardware. We present an implementation of the logic programming language Prolog which uses object-orientation, and could therefore provide a basis for logic programming on object-oriented hardware. The implementation language, Prograph, is itself a product of the first microcomputer revolution, exploiting the graphics capabilities of modern microcomputers by expressing programs pictorially and providing powerful, picture-based program development tools.

REFERENCES

• 1: Bailey, D., Salford Prolog, private communication (1986).
• 2: Carlsson, M, On Compiling Indexing and Cut for the WAM, SICS R86011, Swedish Inst. for Comp. Science (1986).
• 3: Y-L. Chang , P. T. Cox, Storage management in a Prolog compiler, Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems, p.43-52, December 1986, San Francisco, California, United States [doi>10.1145/317559.322747]
• 4: Cheng, M.H.M., Design and Implementation of Waterloo Unix Prolog Environment, MMath Thesis, University of Waterloo (1984).
• 5: K. L Clark , F. G McCabe, Micro-PROLOG: programming in logic, Prentice-Hall, Inc., Upper Saddle River, NJ, 1984
• 6: Brad J Cox, Object oriented programming: an evolutionary approach, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 7: Cox, P.T.; Giles, F.R.; Pietrzykowski, T., Prograph: a step towards liberating programming from textual conditioning, Proc. 1989 IEEE Workshop on Visual Programming, Rome (Oct 1989), to appear.
• 8: P. T. Cox , I. J. Mulligan, Compiling the graphical functional language PROGRAPH, Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, p.34-41, May 1985, Danvers, Massachusetts, United States [doi>10.1145/317164.317169]
• 9: Cox, P.T.; Pietrzykowski, T., User-Oriented Software: A New Methodology for Software Development, Computer Language v.?, no.? (Sept 1989), 79-92.
• 10: Cox, P.T.; Pietrzykowski, T., PROGRAPH 2: a visual, dataflow, object-oriented software engineering environment, Proc. of Int. Workshop on Software Engineering and its Applications, Toulouse (1988), 1453-1472.
• 11: Cox, P.T.; Pietrzykowski, T., Using a pictorial representation to combine dataflow and objectorientation in a language-independent programming mechanism, Proc. of Int. Computer Science Conference 88, Hong Kong (1988), 695-704.
• 12: P. T. Cox , T. Pietrzykowski, Advanced programming aids in PROGRAPH, Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, p.27-33, May 1985, Danvers, Massachusetts, United States [doi>10.1145/317164.317168]
• 13: Ole-Johan Dahl, SIMULA 67 common base language, (Norwegian Computing Center. Publication), 1968
• 14: Ian Foster , Stephen Taylor, Strand: new concepts in parallel programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 15: David M. Harland, REKURSIV: object-oriented computer architecture, Halsted Press, New York, NY, 1988
• 16: Christopher John Hogger, Introduction to logic programming, Academic Press Professional, Inc., San Diego, CA, 1984
• 17: May, D.; Shepherd, R., The Transputer Implementation of OCCAM, Proc. Intl. Conf. on Fifth Gen. Computer Sys., (1984), 533-541.
• 18: Quintus Computer Systems, Quintus Prolog Reference Manual (1985).
• 19: P. Van Roy , B. Demoen , Y. D. Willems, Improving the execution speed of compiled prolog with modes, clause selection, and determinism, II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development, p.111-125, March 1987, Pisa, Italy
• 20: The Gunakara Sun Systems, Prograph User Manual, (1989).
• 21: Warren, D.H.D., Implementing Prolog - Compiling Predicate Logic Programs, Tech. Rep. DAI 39/40, University of Edinburgh (1977).
• 22: Warren, D.H.D., An Abstract Prolog Instruction Set, Report 309, Artificial intelligence Centre, SRI International (1983).

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Logic and constraint programming

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Prolog; PROGRAPH

General Terms:
Design, Languages