constraint satisfaction; data processing; four colour map theorem; linear programming; natural language; number crunching; speech recognition; symbolic mathematics; virtual reality;