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:
“Ask anyone committed to Marxist analysis how many angels on the head of a pin, and you will be asked in return to never mind the angels, tell me who controls the production of pins.”
—Joan Didion (b. 1934)