Feature analysis of Turbo Prolog
This article is a companion to an earlier article o n comparative feature–analysis of microcomputer Prolo g implementations (II. Analyses of six major feature areas an d capabilities of built–in predicates are extenaed to Turbo Prolog. Turbo Prolog differs from other implementations in use of stati c type declarations and checking. Restrictions of static type s provide a safe language and contribute to efficient compilation , but they exclude important capabilities for dynamicall y modifying structures and clauses .