Horn clause

Горнова (горнівська) формула

горнів (горнівський) вираз

Джерело: Англо-український словник технічних термінів на Slovnyk.me