R.R. Fikes created ARF in the late 1960s as a general problem solver. It used a combination of constraint-satisfaction and heuristic sea...