ΛProlog

Known as: LProlog, Lambda prolog, LambdaProlog

λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2019

We present a framework and proof-of-concept implementation for functional spatial reasoning within high-order logic programming…

2017

Many language designers have adopted gradual typing. However, there remains open questions regarding how to gradualize languages…

1999

1997

We describe the construction and use of a system for translating higher order logic-based specifications into programs in the…

1996

We discuss issues relevant to the practical use of a previously proposed notation for lambda terms in contexts where the…

1993

Continuations are well known in functional programming where they have been used to transform and compile programs. Some…

1993

1993

1992

A implementacao de interpretadores para a linguagem da Logica de Ordem Superior (LOS) constitui-se num desafio ainda nao vencido…

1989