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

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 slowly turning in ... Claw types have difficulty penetrating weedy bottoms and grass ... ratio and generally have to be oversized to compete with other 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 ...
Beagle - Health
... Hypothyroidism and a number of types of dwarfism occur in Beagles ... 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 ... 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 exchanges (information ... 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)

    Our major universities are now stuck with an army of pedestrian, toadying careerists, Fifties types who wave around Sixties banners to conceal their record of ruthless, beaverlike tunneling to the top.
    Camille Paglia (b. 1947)

    If there is nothing new on the earth, still the traveler always has a resource in the skies. They are constantly turning a new page to view. The wind sets the types on this blue ground, and the inquiring may always read a new truth there.
    Henry David Thoreau (1817–1862)