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
Computing (FOLDOC) dictionary
Qu-Prolog
Jump to user comments
An extension of
Prolog
which performs
meta-levelcomputation
s over
object language
s, such as
predicatecalculi
and
lambda-calculi
, which have object-level
variables, and
quantifier
s that create local
scope
s for
those variables. Qu-Prolog is well suited as an implementation
language for
theorem prover
s and support notations typically
found in texts on mathematics and logic.
Related search result for
"Qu-Prolog"
Words contain
"Qu-Prolog"
in its definition in
Computing (FOLDOC) dictionary:
PDC Prolog
NU-Prolog
Edinburgh Prolog
SWI-Prolog
Prolog
Prolog-III
IC Prolog II
LM-Prolog
Turbo Prolog
Modular Prolog
more...
Comments and discussion on the word
"Qu-Prolog"