9-letter words containing prol
- binprolog — (language) Probably the fastest freely available C-emulated Prolog. BinProlog features: logical and permanent global variables; backtrackable destructive assignment; circular term unification; extended DCGs (now built into the engine as "invisible grammars"); intuitionistic and linear implication based hypothetical reasoning; a Tcl/Tk interface. Version 3.30 runs on SPARC/Solaris 2.x, SunOS 4.x; DEC Alpha 64-bit version; DEC MIPS; SGI MIPS; 68k - NeXT, Sun-3; IBM RS6000; HP PA-RISC (two variants); Intel 80386, Intel 486/Linux, MS-DOS, Microsoft Windows 3.1 (with DOS-extender go32 v1.10). E-mail: Paul Tarau <[email protected]>.
- coprolite — any of various rounded stony nodules thought to be the fossilized faeces of Palaeozic-Cenozoic vertebrates
- coprolith — a hard stony mass of dried faeces in the intestine that is caused by chronic constipation
- coprology — preoccupation with excrement
- cs-prolog — Distributed logic language. "CS-Prolog on Multi-Transputer Systems", I. Futo et al, Microprocessors & Microsystems, March 1989.
- ic-prolog — Clark & McCabe, Imperial College 1979. Logic language with coroutining.
- lm-prolog — Lisp Machine Prolog. A Prolog interpreter in Zetalisp for the Lisp Machine developed by Ken Kahn and Mats Carlsson in 1983.
- mu-prolog — (language) Prolog with "wait" declarations for coroutining, developed by L. Naish of the Univeristy of Melbourne in 1982.
- nu-prolog — L. Naish, U Melbourne. A Prolog with 'when' declarations, the successor to MU-Prolog. Type-checked. "NU-Prolog Reference Manual - Version 1.3", J.A. Thom et al eds, TR 86/10, U Melbourne (1988). Available (but not free). (See PNU-Prolog). E-mail: <[email protected]>.
- prolabour — favouring an organized labour movement
- prolactin — an anterior pituitary polypeptide hormone that stimulates lactation by the mammary glands at parturition in mammals, the activity of the crop in birds, and in some mammalian species the production of progesterone by the corpus luteum.
- prolamine — any of the class of simple proteins, as gliadin, hordein, or zein, found in grains, soluble in dilute acids, alkalis, and alcohols, and insoluble in water, neutral salt solutions, and absolute alcohol.
- prolapsus — prolapse.
- prolation — the time relationship between a semibreve and a minim in mensural notation.
- prolative — functioning to complete the predicate
- prolepses — Rhetoric. the anticipation of possible objections in order to answer them in advance.
- prolepsis — Rhetoric. the anticipation of possible objections in order to answer them in advance.
- proleptic — Rhetoric. the anticipation of possible objections in order to answer them in advance.
- proletary — in ancient Rome, a member of the lowest class of citizens, who had no property
- prolicide — the killing of one's child.
- prolixity — extended to great, unnecessary, or tedious length; long and wordy.
- prolog-ii — Prolog with two new predicates: "dif" for coroutines and "freeze" for delayed evaluation. Available from ExperIntelligence, Santa Barbara CA.
- prologist — a prologue writer or performer
- prologize — to perform or introduce by means of a prologue
- prolonged — to lengthen out in time; extend the duration of; cause to continue longer: to prolong one's stay abroad.
- prolusion — a preliminary written article.
- prolusory — serving for prolusion.
- qu-prolog — An extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifiers that create local scopes for those variables. Qu-Prolog is well suited as an implementation language for theorem provers and support notations typically found in texts on mathematics and logic.
- saprolite — soft, disintegrated, usually more or less decomposed rock remaining in its original place.
- sb-prolog — Stony Brook Prolog. A public domain Prolog interpreter for Unix. Version 3.1. Distributed under the GNU General Public License. E-mail: <[email protected]>.
On this page, we collect all 9-letter words with PROL. It’s easy to find right word with a certain length. It is the easiest way to find 9-letter word that contains PROL to use in Scrabble or Crossword puzzles.