VDict - Definition of conditional unification

Dictionary
Translation

Tools
About
- About
- FAQ
- Privacy policy
- Contact us
Options
Tiếng Việt

Lookup

Computing (FOLDOC)

English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese

Translate now

Search in: Word

Vietnamese keyboard: Off

Virtual keyboard: Show

Translation

powered by

search result for conditional unification in Computing (FOLDOC) dictionary

HASL occurs check unification complete unification Control and Status Register control structure Han character unify condition out Han Unification PHOCUS Fresh Quty negation by failure logic programming preprocessor GAPLog SFLV QPE unifier narrowing most general unifier FUNLOG call-by-need ISL single sourcing Prolog-III ISWIM distfix TABLOG HiLog pipeline break PANON principal type Test coverage Constraint Logic Programming Constraint Handling In Prolog branch prediction Extended Self-containing Prolog IDEAL instantiation delayed control-transfer Lolli ALGOL 60 logic variable XSB Parlog BinProlog pattern matching C preprocessor type inference Wild_LIFE von Neumann architecture C+-RCA 1802 resolution rl BCPL Prolog 6502 Gofer Icon second generation computer Ada

Copyright © 2004-2016 VDict.com