Return to "Horn clause" page.