Horn clause programs can only represent state change by the change in arguments to predicates.
Programy sestavené z Hornovských klauzulí reprezentují pouze změnu stavu způsobenou změnou v argumentech vzhledem k predikátům.