système de types

Désignations

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français

En Turbo Prolog, système qui implique que le nombre et le type des termes soient définis statiquement à la compilation, à la manière d'un langage comme Pascal ou Ada, et non à l'exécution comme c'est le cas dans d'autres langages, Smalltalk par exemple, ou dans les autres implémentations du langage Prolog.