Static Analysis
| Name | Type checker | Determinacy checker | Call-pattern checker |
|---|---|---|---|
| Ciao | Yes | Yes | Yes |
| GNU Prolog | |||
| Jekejeke Prolog | |||
| SICStus Prolog | Yes | ||
| SWI-Prolog | |||
| Visual Prolog | Yes | Yes | Yes |
| XSB | |||
| YAP-Prolog |
Read more about this topic: Comparison Of Prolog Implementations
Famous quotes containing the word analysis:
“Cubism had been an analysis of the object and an attempt to put it before us in its totality; both as analysis and as synthesis, it was a criticism of appearance. Surrealism transmuted the object, and suddenly a canvas became an apparition: a new figuration, a real transfiguration.”
—Octavio Paz (b. 1914)