Using Declarative Programming in an Introductory Computer Science Course for High School Students