VDict - Definition of higher order unification

search result for higher order unification in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

logic stacking order reduction strategy GAPLog SFLV QPE Basic Input/Output System parallel reduction unifier Zuse narrowing most general unifier Subset-Equational Language FUNLOG normal order reduction ISL Prolog-III equational logic isomorphism mode client-server principal type Persistent Functional Language HENSA Constraint Logic Programming Ecole Normale Superieure Constraint Handling In Prolog applicative order reduction Ironman drag and drop Extended Self-containing Prolog IDEAL PRECCX reduction Gofer instantiation bit pattern lazy evaluation logic variable fall forward FLUB Higher Education National Software Archive Intermediate Programming Language POFAC Parlog Genken Programming Language MIPS R4000 BinProlog HIMEM a1 Haskell Emitter Coupled Logic Very high bit-rate Digital Subscriber Line workstation dirty power Opal QEMM386 administrative distance Emacs Lisp Slot A Low Voltage Differential Group-Sweeping Scheduling parallelism hyperspace GSL Windows NT 3.5 frame rate LOWL Windows for Workgroups serviceability elegant 100BaseVG S-Video bounce Data Link Provider Interface explicit parallelism design recovery American Wire Gauge Logical Link Control and Adaptation Protocol type inference

First < Previous 1 2 3 4 5 6 Next > Last