horn clause

Türkçe: horn cümlesi

Açıklama: Horn cümlesi; mantık programlamada temel yapı