Programação de lógica de ordem superior

Diversos pesquisadores estenderam a programação lógica com as características da programação de ordem superior derivadas da lógica de ordem superior, tais como variáveis de predicado. Tais linguagens incluem as extensões do Prolog HiLog e λProlog.