Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,455,450 papers from all fields of science
Search
Sign In
Create Free Account
Comparison of Prolog implementations
Known as:
List of Prolog implementations
The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
Android
Ciao
ECLiPSe Constraint Logic Programming System
GNU Prolog
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
PPI - A Portable Prolog Interface for Java
Ludwig Ostermayer
,
Frank Flederer
,
Dietmar Seipel
WLP/WFLP
2014
Corpus ID: 15197619
As a first step to combine the two programming paradigms – objectoriented programming and logic programming – we have introduced…
Expand
2005
2005
Techniques for Verifying Prolog Implementations
Keehang Kwon
,
Jang-Wu Jo
,
Sanghoon Kim
2005
Corpus ID: 14934614
This paper presents some techniques that reduce the complexity of the verification of Prolog implementations. Two key techniques…
Expand
1988
1988
MS-DOS Prolog implementations revisited
H. Berghel
,
R. Rankin
,
S. Bhatia
SIGP
1988
Corpus ID: 31877403
In an earlier article [11] we proposed a taxonomy for classification of PROLOG implementations. This analysis has been used by…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE