SICStus Prolog
E1282535
UNEXPLORED
SICStus Prolog is a high-performance, industrial-strength implementation of the Prolog programming language widely used for research and commercial applications in logic programming and artificial intelligence.
All labels observed (1)
| Label | Occurrences |
|---|---|
| SICStus Prolog canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17677635 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: SICStus Prolog Context triple: [Prolog, hasImplementation, SICStus 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.
Yices
Yices is a high-performance Satisfiability Modulo Theories (SMT) solver widely used in formal verification and automated reasoning.
-
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.
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.
-
E.
Interlisp
Interlisp was an early, influential dialect and programming environment of the Lisp language, notable for its integrated development tools and impact on later Lisp systems.
- 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: SICStus Prolog Target entity description: SICStus Prolog is a high-performance, industrial-strength implementation of the Prolog programming language widely used for research and commercial applications in logic programming and artificial intelligence.
-
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.
Yices
Yices is a high-performance Satisfiability Modulo Theories (SMT) solver widely used in formal verification and automated reasoning.
-
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.
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.
-
E.
Interlisp
Interlisp was an early, influential dialect and programming environment of the Lisp language, notable for its integrated development tools and impact on later Lisp systems.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.