An overview of the HORNE logic programming system. - Alan M. Frisch; James F. Allen; Mark Giuliano (SIGART Newsl., 1983)