Class PrintHornClauses