Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
As a first step to combine the two programming paradigms – objectoriented programming and logic programming – we have introduced… 
2005
2005
This paper presents some techniques that reduce the complexity of the verification of Prolog implementations. Two key techniques… 
1988
1988
In an earlier article [11] we proposed a taxonomy for classification of PROLOG implementations. This analysis has been used by…