Disambiguation evidence for LambdaProlog via surface form

"λProlog"

Triples (3)

Triples where some other subject referred to this entity as "λProlog".

Dale Miller → notableConcept →
"λProlog"
↳ resolves to LambdaProlog
ⓘ
ELPI → supports →
"λProlog"
↳ resolves to LambdaProlog
ⓘ
ELPI → isRelatedTo →
"λProlog"
↳ resolves to LambdaProlog
ⓘ