Proceedings of the 1990 North American conference on Logic programming