Advertisement

Goal-oriented derivation of logic programs

  • C. J. Hogger
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)

Keywords

Logic Program Imperial College Logic Programming Horn Clause Programming Style 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Bibel, W., Furbach, U. and Schreiber, J. F. Strategies for the synthesis of algorithms. Proc. AISB/GI-78 Conference, Hamburg, July 18–20, 1978.Google Scholar
  2. [2]
    Boyer, R. S. and Moore, J. S. A fast string searching algorithm. Comm. ACM. 20 No. 10, pp. 762–772, 1977.CrossRefGoogle Scholar
  3. [3]
    Burstall, R. M. and Darlington, J. A transformation system for developing recursive programs. J.ACM 24 pp. 44–67, 1977.CrossRefGoogle Scholar
  4. [4]
    Clark, K. and Darlington, J. Algorithm analysis through synthesis. CCD Res. Report, Theory of Computing Research Group, Imperial College, 1977.Google Scholar
  5. [5]
    Clark, K. and Kowalski, R. Predicate logic as programming language. CCD Res. Report, Theory of Computing Research Group, Imperial College, 1977.Google Scholar
  6. [6]
    Clark, K. and Sickel, S. Predicate logic: a calculus for the formal derivation of programs. Proc. IJCAI-77 Conference, 1977.Google Scholar
  7. [7]
    Clark, K. and Tarnlund, S-A. A first order theory of programs and data. Proc. IFIP Congress, 1977.Google Scholar
  8. [8]
    Colmerauer, A., Kanoui, H., Pasero, R. and Roussel, P. Un systeme de communication homme-machine en francais. Rapport Preliminaire, Groupe de Researche en Intelligence Artificielle, University d'Aix-Marseille, 1972.Google Scholar
  9. [9]
    van Emden, M. Programming with resolution logic. Mach. Intelligence 8, 1977.Google Scholar
  10. [10]
    Hogger, C. J. Deductive synthesis of logic programs. CCD Res. Report, Theory of Computing Research Group, Imperial College, 1977.Google Scholar
  11. [11]
    Hogger, C. J. Program synthesis in predicate logic. Proc. AISB/GI-78 Conf., Hamburg, July 18–20, 1978.Google Scholar
  12. [12]
    Kowalski, R. Logic for problem solving. DCL Memo 75, Dept. of Artificial Intelligence, University of Edinburgh, 1974.Google Scholar
  13. [13]
    Kowalski, R. Predicate logic as programming language. Proc. IFIP Congress, 1974.Google Scholar
  14. [14]
    Kowalski, R. Algorithm=logic + control. CCD. Res. Report, Theory of Computing Research Group, Imperial College, 1976.Google Scholar
  15. [15]
    Manna, Z. and Waldinger, R. The automatic synthesis of systems of recursive equations. Proc. IJCAI-77 Conference, 1977.Google Scholar
  16. [16]
    Warren, D. Implementing Prolog, a language for programming in logic. Dept. of Artificial Intelligence, University of Edinburgh, 1976.Google Scholar
  17. [17]
    Wegbreit, B. Goal-directed program transformation. IEEE Trans. on Software Engineering, Vol. SE-2, No. 2, June 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • C. J. Hogger
    • 1
  1. 1.Imperial CollegeLondon UniversityLondonEngland

Personalised recommendations