Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
search result for Guarded Horn Clauses in Computing (FOLDOC) dictionary
Guarded Horn Clauses
Horn clause
guard
GHC
EQLOG
Algebraic Logic Functional language
PHOCUS
logic programming
Siri
sentence
goal
F+L
Dijkstra's guarded command language
Turbo Prolog
SFLV
Concurrent Prolog
definite clause
ISWIM
console
LO
dead code
EQLog
Lolli
CORAL
Trilogy
Lambda Prolog
Subset-Equational Language
RefLisp
resolution