Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study (Contemporary Studies in Cognitive Science and Technology)