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:
“A commodity appears at first sight an extremely obvious, trivial thing. But its analysis brings out that it is a very strange thing, abounding in metaphysical subtleties and theological niceties.”
—Karl Marx (1818–1883)