Примери за използване на Logic programming на Английски и техните преводи на Български
{-}
-
Colloquial
-
Official
-
Medicine
-
Ecclesiastic
-
Ecclesiastic
-
Computer
A deductive database combines logic programming with a relational database,
Дедуктивна база данни комбинира логиката на програмиране с релационна база дани,Thus concurrent logic programming implements a form of"don't care nondeterminism",
По този начин конкурентното логическо програмиране прилага форма на„не ми пука недетерминизъм“,vast sums were spent investigating so-called"fifth generation" languages that incorporated logic programming constructs.
огромни суми по т. нар.„пето поколение Logic programming is based on theory
Logic програмиране се базира на теориятаIn linear logic programming, one can use the ambient linear logic to support state change.
В линейното логическо програмиране, може да се прави промяна на състоянието със заобикаляща линейна логика.huge sums have been spent investigating so-referred to as“fifth generation” languages that integrated logic programming constructs.
започват да се харчат огромни суми по т. нар.„пето поколение Abductive logic programming[edit] Abductive logic programming is an extension of normal Logic Programming that allows some predicates,
Абдуктивно логическо програмиране[редактиране| редактиране на кода] Абдуктивното логическо програмиране е разширение на обикновеното логическо програмиране, което позволява някои предикати,Researchers at the Institute for New Generation Computer Technology in Tokyo have used PROLOG as the basis for sophisticated logic programming languages.
Изследователи от Института за New Generation Computer Technology в Токио са използвали PROLOG като основа за сложни логически програмни езици, известни като езици пето поколение.T e Logic programming is a programming paradigm based on formal logic. .
Логическото програмиране е парадигма за Constraint logic programming has been used to solve problems in such fields as civil engineering,
Ограничително логическо програмиране е използвано за решаване на проблеми в сфери като гражданско строителство,Several researchers have extended logic programming with higher-order programming features derived from higher-order logic, such as predicate variables.
Няколко изследователи разширяват логическото програмиране с функции за Concurrent constraint logic programming combines concurrent logic programming and constraint logic programming, using constraints to control concurrency.
Конкурентно условно логическо програмиране съчетава едновременно конкурентно логическо програмиране и условно логическо програмиране, използвайки условия за контролиране на конкурентността.An important concept in logic programming is the separation of programs into their logic component
Важна концепция в логическото програмиране е разделянето на програмите на техните Concurrent constraint logic programming combines concurrent logic programming and constraint logic programming, using constraints to control concurrency.
Конкурентно условно логическо програмиране Конкурентно условно Logic programming is a type of programming paradigm which is largely based on formal logic. .
Логическото програмиране е парадигма за Because mathematical logic has a long tradition of distinguishing between object language and metalanguage, logic programming also allows metalevel programming. .
Тъй като математическа логика има традиция за разграничаване на обектен език и метаезик, логическото програмиране също позволява The inclusion of negation as failure means that logic programming is a kind of non-monotonic logic. .
Обхващането на отрицанието като провал, означава че логическото програмиране е вид немонотонна логика.Concurrent constraint programming arose as a synthesis of the ideas of concurrent logic programming and constraint logic programming. .
Конкурентното goals to be solved(as in normal logic programming).
които да бъдат решени(както е в обикновената логика на програмиране).In pure logic programming languages, the control component is fixed
В чистите езици за логическо програмиране, управляващият компонент е фиксиран
