Prolog - Extensions - Types


Prolog is an untyped language. Attempts to introduce types date back to the 1980s, and as of 2008 there are still attempts to extend Prolog with types. Type information is useful not only for type safety but also for reasoning about Prolog programs.

Read more about this topic:  Prolog, Extensions

Other articles related to "types":

Beagle - Health
... Hypothyroidism and a number of types of dwarfism occur in Beagles ... are considered a chondrodystrophic breed, meaning that they are prone to types of disk diseases ... They can suffer from several types of retinal atrophy ...
Small Boat Anchors - Bruce or Claw Anchor
... Claw-types set quickly in most seabeds and although not an articulated design, they have the reputation of not breaking out with tide or wind changes, instead ... Claw types have difficulty penetrating weedy bottoms and grass ... low holding-power-to-weight ratio and generally have to be oversized to compete with other types ...
Types of Graphemes
... The principal types of graphemes are logograms, which represent words or morphemes (for example, Chinese characters, or the ampersand representing the English word and also Arabic numerals ... For a full discussion of the different types, see Writing system Functional classification of writing systems ...
Netwar - Network Structures
... Arquilla and Ronfeldt point to three basic types of networks that may be used by netwar actors Chain network – typified by smuggling networks, where end-to-end ... may also take on hybrid forms as well, blending different types of networks and hierarchies ... demands, or various members of the same group may be networked to each other through different types of network structures ...

Famous quotes containing the word types:

    The American man is a very simple and cheap mechanism. The American woman I find a complicated and expensive one. Contrasts of feminine types are possible. I am not absolutely sure that there is more than one American man.
    Henry Brooks Adams (1838–1918)

    The rank and file have let their servants become their masters and dictators.... Provision should be made in all union constitutions for the recall of leaders. Big salaries should not be paid. Career hunters should be driven out, as well as leaders who use labor for political ends. These types are menaces to the advancement of labor.
    Mother Jones (1830–1930)

    He types his laboured column—weary drudge!
    Senile fudge and solemn:
    Spare, editor, to condemn
    These dry leaves of his autumn.
    Robertson Davies (b. 1913)