VDict - Definition of Lambda-Prolog

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 Lambda-Prolog in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

eta conversion backward chaining principal type full laziness Charme Computational Adequacy Theorem bondage-and-discipline language combinator intelligent backtracking TABLOG Micro Interpreter for Knowledge Engineering reduction fix incremental constraint solver Distributed Logic Programming abstraction relational language POPLOG Pleuk grammar development system lambda lifting 6.001 Constraint Handling In Prolog CORAL Stack Environment Control Dump machine declarative language Extended Self-containing Prolog Linda symbolic inference backtracking Mei Parlog languages of choice knowledge BinProlog Wafe Ponder CLP(R)Trilogy talk Russell's Paradox Subset-Equational Language Wild_LIFE curried function functional programming Borland Software Corporation Miranda domain theory Gofer resolution Lisp logic programming Erlang canonical

First < Previous 1 2 3 Next > Last

Copyright © 2004-2016 VDict.com