A fine-grained account of Prolog execution for teaching and debugging-Reference-Cited by-同舟云学术

A fine-grained account of Prolog execution for teaching and debugging

Published:1990 Issue:4-5 Volume:19 Page:407-436
ISSN:0020-4277
Container-title:Instructional Science
language:en
Short-container-title:Instr Sci

Author:

Eisenstadt Marc,Brayshaw Mike

Publisher

Springer Science and Business Media LLC

Subject

Developmental and Educational Psychology,Education

Link

http://link.springer.com/content/pdf/10.1007/BF00116447.pdf

Reference22 articles.

1. Bratko, I. (1986). Prolog programming for artificial intelligence. Reading, MA: Addison-Wesley.

2. Brayshaw, M. and Eisenstadt, M. (1988). Adding data and procedure abstraction to the transparent Prolog Machine. In R. A. Kowalski and K. A. Bowen (Eds.), Logic programming, Volume 1, Cambridge, MA: MIT Press, 532?547.

3. Brayshaw, M. and Eisenstadt, M. (in press). A practical graphical Prolog tracer. International Journal of Man-Machine Studies.

4. Brown, M. H. and Sedgewick, R. (1984). Progress report: Brown University Instructional Computing Laboratory, ACM SIGCSE Bulletin 16(1), February.

5. Bundy, A., Pain, H., Bma, P. and Lynch, L. (1986). A proposed Prolog story. DAI Research Paper 283, Department of Artificial Intelligence, University of Edinburgh.

Cited by 49 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Untangling mechanized proofs;Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering;2020-11-15

2. Index;The Cambridge Handbook of Computing Education Research;2019-02-21

3. A Case Study of Qualitative Methods;The Cambridge Handbook of Computing Education Research;2019-02-21

4. A Case Study of Peer Instruction;The Cambridge Handbook of Computing Education Research;2019-02-21

5. Students As Teachers and Communicators;The Cambridge Handbook of Computing Education Research;2019-02-21