1 page matching PROLOG in this book
Results 1-1 of 1
What people are saying - Write a review
We haven't found any reviews in the usual places.
76 BASIC 82 simple 85 basic 85 LISP programming ALGEBRA analysis Anderson's ACT answer apply arithmetic artificial intelligence assumptions BASIC programming BUGGY bugs characterise cognitive computer program consisting created language daughter DEBUG diagnostic system dialogue domain Edinburgh educational decision electricity equation example explicit model goals grammar GREATERP Hartley human teacher ideas ingredients initial set Intelligent tutoring systems introductory ITSs kind knowledge of teaching learn LISP LISP TUTOR 85 LISP-ITS LOGO MACSYMA meaningless symbols medical diagnosis normal notion offer Ohm's law output Pascal programming possible misconceptions present algorithms problem problem-solving produce PROLOG proofs tool PROUST Johnson 84 QUADRATIC Recovery Boiler relationships representation semantics set of expressions SIERRA simple linear simulation skills solve specialised specific student model subsume taught teaching strategies techniques tend theory trouble tutoring component type of errors types of CAI unit of input user modelling user's input VGSdomain VGSU vocabulary