Proceedings of the 1977 symposium on Artificial intelligence and programming languages