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

higher-order macro HOL Fresh HiLog occurs check Lambda Prolog unification OBJ Lolli XSB TABLOG Han character complete unification first-order HASL Quest first-order logic LNF BABEL CHOCS traversal TrafoLa functional F-Logic Forsythe higher-order function FL ASL+logic programming Object Role Modeling Cube Isabelle LUCID overclocking Obliq bottom-up implementation map L0 Bird-Meertens Formalism EMM386 Oz Extensible Shell Language for Communicating Systems Ratatosk least fixed point filter predicate logic FP UFO network byte order order-embedding ASCIIbetical order Church integer reverse engineering fix Concurrent ML abstraction Skel-ML Wild_LIFE Similix 6.001 magneto-optical disk unify data flow analysis Hollerithabetical order Han Unification Baudotbetical order PHOCUS fully lazy lambda lifting resolution rl LOP Clean polymorphic lambda-calculus ML backing store Quty compiler negation by failure pre-order

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