LambdaProlog

E143339
logic programming language programming language

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.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
LambdaProlog canonical 1
λProlog 1

Statements (48)

Predicate Object
instanceOf logic programming language ⓘ
programming language ⓘ
basedOn Prolog ⓘ
designedFor encoding inference systems ⓘ
encoding operational semantics ⓘ
encoding typing rules ⓘ
meta-theoretic reasoning ⓘ
extends Prolog ⓘ
hasDesignGoal support reasoning about deductive systems ⓘ
support reasoning about operational semantics ⓘ
support reasoning about type systems ⓘ
support specification of formal systems ⓘ
treat binding structures declaratively ⓘ
hasFeature higher-order abstract syntax ⓘ
lambda-tree syntax ⓘ
hasImplementation ELPI ⓘ
Prolog/Mali-based implementations ⓘ
Teyjus ⓘ
hasKeyConcept goals-as-formulas ⓘ
program-clauses-as-formulas ⓘ
uniform proof search ⓘ
influenced Abella ⓘ
Bedwyr ⓘ
Twelf ⓘ
other systems for reasoning about specifications ⓘ
relatedTo Prolog ⓘ
higher-order logic ⓘ
logical frameworks ⓘ
supports meta-programming ⓘ
symbolic computation ⓘ
theorem-proving style search ⓘ
supportsFeature embedded implication ⓘ
generic judgments ⓘ
higher-order programming ⓘ
higher-order unification ⓘ
hypothetical reasoning ⓘ
lambda-abstraction in terms ⓘ
modules ⓘ
polymorphism ⓘ
reasoning about formal systems ⓘ
reasoning about syntax with bindings ⓘ
scoped constants ⓘ
strong typing of terms ⓘ
usedIn research on formal verification ⓘ
research on programming language metatheory ⓘ
research on proof theory ⓘ
usesLogic higher-order hereditary Harrop formulas ⓘ
intuitionistic logic ⓘ

How these facts were elicited

The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.

Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10.

# Requirements
- If you don't know the subject at all, return an empty list.
- If the subject is not a named entity, return an empty list.
- Include at least one triple where predicate is "instanceOf".
- Do not get too wordy.
- Separate several objects into multiple triples with one object.
Input
Subject: LambdaProlog
Description of subject: 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 (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

lambda calculus → influenced → LambdaProlog ⓘ
Dale Miller → notableConcept → LambdaProlog ⓘ
this entity surface form: λProlog