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

SCOOP qdjanus Church integer Constraint Logic Programming name capture PAL constant applicative form Janus free variable fully lazy lambda lifting delta reduction Aditi space-cadet keyboard Goedel Fun SweetLambda esim SLIPS occurs check FALSE Burge's Language closure conversion Kid ProTalk beta conversion ECLIPSE CUCH Alonzo Church Oblog Probe Knights of the Lambda-Calculus Vlisp Aurora SLIM CHIP Quintec-Objects lenient evaluation Lambada-Calculus head normalisation theorem BABYLON TALE CP FIDO SOL PRL VSP CIEL VHLL BNR Prolog PPLambda PHOCUS KL0 inference engine ObjVProlog Spool AdLog BAP L&O Frolic ABSYS AI International Common ESP SP Mandala call-by-need UPMAIL Tricia Prolog Sequel TEMPLOG Joy bound variable HOOK ISWIM maximal free expression Echidna Guarded Horn Clauses ECP Andorra-I Paradigms of AI Programming ESP Kamin's interpreters

First < Previous 1 2 3 Next > Last

Copyright © 2004-2016 VDict.com