Programs for Artificial Intelligence