12-letter words containing c, o, k, e, r, s
- occurs check — (programming) A feature of some implementations of unification which causes unification of a logic variable V and a structure S to fail if S contains V. Binding a variable to a structure containing that variable results in a cyclic structure which may subsequently cause unification to loop forever. Some implementations use extra pointer comparisons to avoid this. Most implementations of Prolog do not perform the occurs check for reasons of efficiency. Without occurs check the complexity of unification is O(min(size(term1), size(term2))) with occurs check it's O(max(size(term1), size(term2))) In theorem proving unification without the occurs check can lead to unsound inference. For example, in Prolog it is quite valid to write X = f(X). which will succeed, binding X to a cyclic structure. Clearly however, if f is taken to stand for a function rather than a constructor, then the above equality is only valid if f is the identity function. Weijland calls unification without occur check, "complete unification". The reference below describes a complete unification algorithm in terms of Colmerauer's consistency algorithm.
- on the rocks — a large mass of stone forming a hill, cliff, promontory, or the like.
- orange stick — a slender, rounded stick, originally of orangewood, having tapered ends and used in manicuring, especially to push back the cuticles or clean the fingernails.
- overstocking — to stock to excess: We are overstocked on this item.
- policymakers — a person responsible for making policy, especially in government.
- postcardlike — (of a scene) resembling a postcard
- rock jasmine — any of several alpine plants belonging to the genus Androsace, of the primrose family, having tufted leaves often in basal rosettes, and umbels of pink, red, purple, or white flowers.
- rock lobster — spiny lobster.
- rock-shelter — a shallow cave or cavelike area, as one formed by an overhanging cliff or standing rocks, occupied by Stone Age peoples, possibly for extended periods.
- rocket salad — rocket2 (def 2).
- rocket-salad — any of various plants belonging to the genus Hesperis, of the mustard family, and related genera. Compare dame's rocket.
- scorekeeping — an official of a sports contest who keeps record of the score.
- section mark — section (def 16).
- self-mockery — gentle humour at one's own expense
- senior clerk — a clerk who is in a senior position and performs office tasks under minimal supervision
- service book — a book containing the forms of worship used in divine services.
- shamrock-pea — a trailing plant, Parochetus communis, of the legume family, native to Asia and east Africa, having shamrocklike leaves with a brown crescent at the base and pea-shaped, pink and blue flowers.
- silky cornel — a cornel, Cornus amomum, of the eastern U.S., having leaves covered with short, silky hairs on the underside and bearing blue berries.
- skeleton car — a freight car essentially consisting of a central longitudinal girder fastened to the trucks, sometimes supplemented by one or more pairs of cross cantilevers: used for carrying logs or containers.
- skeuomorphic — an ornament or design on an object copied from a form of the object when made from another material or by other techniques, as an imitation metal rivet mark found on handles of prehistoric pottery.
- slipper sock — a sock with a soft leather or vinyl sole sewn onto it, used as indoor footwear.
- smart cookie — intelligent or sharp-witted person
- smoke screen — a mass of dense smoke produced to conceal an area, vessel, or plane from the enemy.
- smoke-screen — a mass of dense smoke produced to conceal an area, vessel, or plane from the enemy.
- snake doctor — South Midland and Southern U.S. a dragonfly.
- soda cracker — a thin, crisp cracker or wafer prepared from a yeast dough that has been neutralized by baking soda.
- solar cooker — a simple, low-cost device using focused sunshine to cook rice, boil water, etc.
- solid rocket — any of various rockets using solid fuel
- specksioneer — a whaler
- sport jacket — A sport jacket is the same as a sport coat.
- stock market — a particular market where stocks and bonds are traded; stock exchange.
- stock record — a record kept of the amount, type, etc., of raw materials and supplies on hand, as in a manufacturing plant.
- stock ticker — ticker (def 1).
- stockbreeder — the breeding and raising of livestock for marketing or exhibition.
- stockholders — Also called stockowner. a holder or owner of stock in a corporation.
- stoney creek — a town in SE Ontario, in S Canada.
- strike force — a military force armed and trained for attack.
- stumpknocker — spotted sunfish.
- summer stock — the production of plays, musical comedy, etc., during the summer, especially in a suburban or resort area, often by a repertory company.
- trainer sock — a sock designed to be worn with a training shoe, often cut low at the ankle so that very little shows above the shoe
- understocked — to provide an insufficient quantity, as of merchandise, supplies, or livestock.
- weathercocks — Plural form of weathercock.
- wonderstruck — (of a person) experiencing a sudden feeling of awed delight or wonder.
- work surface — A work surface is a flat surface, usually in a kitchen, which is easy to clean and on which you can do things such as prepare food.
- worried sick — extremely anxious about sb or sth