Prolog - Extensions - Types

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":

General Aviation
... General aviation involves a wide range of aircraft types such as Business jets, trainers, homebuilt, aerobatic types, racers, gliders, warbirds, firefighters and medical transports ... The vast majority of aircraft today are general aviation types ...
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 exchanges (information, contraband ... 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 ...
Beagle - Health
... Hypothyroidism and a number of types of dwarfism occur in Beagles ... considered a chondrodystrophic breed, meaning that they are prone to types of disk diseases ... They can suffer from several types of retinal atrophy ...
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 ... For a full discussion of the different types, see Writing system Functional classification of writing systems ...
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 ... and generally have to be oversized to compete with other types ...

Famous quotes containing the word types:

    The wider the range of possibilities we offer children, the more intense will be their motivations and the richer their experiences. We must widen the range of topics and goals, the types of situations we offer and their degree of structure, the kinds and combinations of resources and materials, and the possible interactions with things, peers, and adults.
    Loris Malaguzzi (1920–1994)

    ... there are two types of happiness and I have chosen that of the murderers. For I am happy. There was a time when I thought I had reached the limit of distress. Beyond that limit, there is a sterile and magnificent happiness.
    Albert Camus (1913–1960)

    The bourgeoisie loves so-called “positive” types and novels with happy endings since they lull one into thinking that it is fine to simultaneously acquire capital and maintain one’s innocence, to be a beast and still be happy.
    Anton Pavlovich Chekhov (1860–1904)