© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Textual Tree Trace Notation for Prolog: An Overview
C. Taylor, J.B.H. du Boulay, and M.J. Patel
In Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming, pages 182-196, Santa Margherita Ligure, Italy, June 1994.Bibtex Record
@inproceedings{1070, author = {C. Taylor and J.B.H. du Boulay and M.J. Patel}, title = {{T}extual {T}ree {T}race {N}otation for {P}rolog: {A}n {O}verview}, month = {June}, year = {1994}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1994/1070}, address = {Santa Margherita Ligure, Italy}, booktitle = {Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming}, other_year = {1994}, publication_type = {inproceedings}, refereed = {yes}, submission_id = {14199_963496671}, }