PROLOG SYNTAX AND MEANING Ivan Bratko University of Ljubljana Faculty of Computer and Info. Sc. Ljubljana, Slovenia.
Can Computers Understand Their Own Programs? Prof Sir Tony Hoare 05 th July 2012.