LambdaProlog
E143339
UNEXPLORED
LambdaProlog is a logic programming language that extends Prolog with higher-order features, polymorphism, and strong support for reasoning about formal systems and syntax with bindings.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
lambda calculus
→
|
influenced |