Editing Logic programming (section)

===Higher-order logic programming===
Several researchers have extended logic programming with [[higher-order programming]] features derived from [[higher-order logic]], such as predicate variables. Such languages include the Prolog extensions [[HiLog]]<ref name="hilog-jlp">{{cite journal |last1=Chen |first1=Weidong |last2=Kifer |first2=Michael |last3=Warren |first3=David S. |date=February 1993 |title=HiLog: A foundation for higher-order logic programming |journal=[[Journal of Logic Programming]] |volume=15 |issue=3 |pages=187–230 |doi=10.1016/0743-1066(93)90039-J|doi-access=free }}</ref> and [[λProlog]].<ref>Miller, D.A. and Nadathur, G., 1986, July. Higher-order logic programming. In International Conference on Logic Programming (pp. 448-462). Berlin, Heidelberg: Springer Berlin Heidelberg.</ref>