Triple
T17677638
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Prolog |
E440678
|
entity |
| Predicate | hasImplementation |
P3697
|
FINISHED |
| Object | Visual Prolog |
—
|
NE NERFINISHED |
Disambiguation candidates (2 decisions)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Visual Prolog Context triple: [Prolog, hasImplementation, Visual Prolog]
-
A.
Prolog
Prolog is a high-level logic programming language rooted in formal logic and widely used in artificial intelligence, natural language processing, and symbolic reasoning.
-
B.
NEPO visual programming language
NEPO visual programming language is a block-based, beginner-friendly programming system designed to teach coding and robotics concepts through a graphical interface.
-
C.
LambdaProlog
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.
-
D.
ObjectStudio
ObjectStudio is a commercial Smalltalk development environment and IDE, historically known for its strong Windows integration and enterprise application support.
-
E.
Delphi
Delphi is an ancient Greek sanctuary and archaeological site famed for the Oracle of Apollo and its central role in classical Greek religion and culture.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Visual Prolog Target entity description: Visual Prolog is a strongly typed, object-oriented extension of the Prolog programming language designed primarily for developing large-scale, industrial-strength applications with graphical user interfaces.
-
A.
Prolog
Prolog is a high-level logic programming language rooted in formal logic and widely used in artificial intelligence, natural language processing, and symbolic reasoning.
-
B.
NEPO visual programming language
NEPO visual programming language is a block-based, beginner-friendly programming system designed to teach coding and robotics concepts through a graphical interface.
-
C.
LambdaProlog
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.
-
D.
ObjectStudio
ObjectStudio is a commercial Smalltalk development environment and IDE, historically known for its strong Windows integration and enterprise application support.
-
E.
Delphi
Delphi is an ancient Greek sanctuary and archaeological site famed for the Oracle of Apollo and its central role in classical Greek religion and culture.
- F. None of above. chosen
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d8b9e940b081908b862bb0e6e89b0d |
elicitation | completed |
| NER | batch_69e46f6e959c819092d9d33e79bd51f7 |
ner | completed |
Created at: April 10, 2026, 10:01 a.m.