Mapping to Horn Logic