Skip to main content

Designing an intelligent prolog tutor

  • Intelligent Educational Systems
  • Conference paper
  • First Online:
Computer Assisted Learning (ICCAL 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 438))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anderson J.R. & Reiser B.J. The Lisp Tutor. Byte, 10(4), 159–175, 1985.

    Google Scholar 

  2. Clocksin W.F. & Mellish C.S. Programming in Prolog. Second Edition, Springer-Verlag, 1984.

    Google Scholar 

  3. Covington M.A. A Further Note on Looping in Prolog. SIGPLAN Notices, 20(8), August, 1985.

    Google Scholar 

  4. Lee M.C. An Expert System Construction Approach to CAI Development. Journal of Research on Computing in Education, 21(2), 129–140, 1988.

    Google Scholar 

  5. Lee M.C. ICAI Authoring System Development — a multi-paradigm approach. Ph.D. Thesis, University of London, 1989.

    Google Scholar 

  6. Lloyd J.W. Declarative Errors Diagnosis. New Generation Computing, 5, 133–154, OHMSHA, Ltd. and Springer-Verlag, 1987.

    Google Scholar 

  7. Shapiro E.Y. Algorithmic Program Debugging. The MIT Press, 1982.

    Google Scholar 

  8. Sterling L. & Shapiro E. The Art of Prolog. The MIT Press, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Douglas H. Norrie Hans-Werner Six

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lee, M.C. (1990). Designing an intelligent prolog tutor. In: Norrie, D.H., Six, HW. (eds) Computer Assisted Learning. ICCAL 1990. Lecture Notes in Computer Science, vol 438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020896

Download citation

  • DOI: https://doi.org/10.1007/BFb0020896

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52699-5

  • Online ISBN: 978-3-540-47111-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics