Triple
T10198063
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Herbrand interpretation |
E238813
|
entity |
| Predicate | usedBy |
P260
|
FINISHED |
| Object | Prolog |
E440678
|
NE FINISHED |
Disambiguation candidates (1 decision)
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: Prolog Context triple: [Herbrand interpretation, usedBy, Prolog]
-
A.
Prolog
chosen
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.
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.
-
C.
Franz Lisp
Franz Lisp is a dialect of the Lisp programming language developed in the late 1970s at the University of California, Berkeley, primarily for use in artificial intelligence research and symbolic computation.
-
D.
DLV
DLV is the commonly used abbreviation for the German Athletics Association, the national governing body for athletics in Germany.
-
E.
Lisp programming language
Lisp is a pioneering high-level programming language, especially influential in artificial intelligence research and known for its symbolic processing and distinctive parenthesized syntax.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca84e1ea088190b38162e43d4cfa8f |
elicitation | completed |
| NER | batch_69cdee3c44408190b09fa41f2d257c04 |
ner | completed |
| NED1 | batch_69d317e4a3308190b6ec4252bc55985d |
ned_source_triple | completed |
Created at: March 30, 2026, 9:13 p.m.