CONSTRAINT LOGIC PROGRAMMING Ivan Bratko Faculty of Computer and Information Sc. University of Ljubljana Slovenia.