The General Problem Solver (GPS) demonstrated by Newell, Shaw & Simon.