Symposium on Artificial Intelligence and Programming Languages (1977 University of Rochester, New York)