Metadata
Author: WikiMatrix
Data
Czech[cs]
Řada výzkumů rozšířila logické programování o vlastnosti programování vyšších řádů odvozených z logiky vyšších řádů, jakými jsou například predikátové proměnné.
English[en]
Several researchers have extended logic programming with higher-order programming features derived from higher-order logic, such as predicate variables.