Metadata
Author: WikiMatrix
Data
Czech[cs]
Programy sestavené z Hornovských klauzulí reprezentují pouze změnu stavu způsobenou změnou v argumentech vzhledem k predikátům.
English[en]
Horn clause programs can only represent state change by the change in arguments to predicates.