VDict - Definition of Guarded Horn Clauses

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 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

Copyright © 2004-2016 VDict.com