What is the translation of " LOGIC PROGRAMMING " in Indonesian?

• logika pemrograman
• logic programming

Examples of using Logic programming in English and their translations into Indonesian

Logic Programming with Prolog.
Pemrograman logika dengan Prolog.

It is closely related to abductive logic programming.
Hal ini terkait erat dengan pemrograman logika abductive.

In logic programming, a program consists of a set of axioms and rules.
Dalam logika pemrograman, program terdiri dari satu set aksioma dan aturan.

This is the basis for the logic programming paradigm.
Hal tersebut merupakan dasar paradigma pemrograman logika.

Logic programming is using mathematical logic to write computer programs.
Logika pemrograman adalah penggunaan logika matematis untuk pemrograman komputer.

The inclusion of negation as failure means that logic programming is a kind of non-monotonic logic..
Dimasukkannya negasi sebagai kegagalan berarti bahwa pemrograman logika adalah semacam logika non-monoton.

Logic programming is the use of mathematical logic for computer programming.
Logika pemrograman adalah penggunaan logika matematis untuk pemrograman komputer.

For some alternate conceptions of what constitutes an algorithm see functional programming and logic programming.
Untuk konsepsi yang lain dari apa yang membentuk sebuah algoritme lihat pemrograman fungsional dan pemrograman logika.

In this respect, logic programming is comparable to conventional imperative programming;.
Dalam hal ini, logika pemrograman adalah sebanding dengan konvensional pemrograman;.

In Japan and elsewhere, huge sums had been spent investigating so-called“fifth era” languages that integrated logic programming constructs.
Di Jepang dan di tempat lain, penjumlahan luas yang telah di selidiki disebut generasi ke lima bahasa-bahasa yang menyatukan logika pemrograman konstruksi.

Logic programming is a type of programming paradigm which is largely based on formal logic..
Logic programming Suatu jenis pemrograman sebagian besar didasarkan pada logika formal.

In Japan and elsewhere, vast sums were spent investigating so-called“fifth technology” languages that included logic programming constructs.
Di Jepang dan di tempat lain, penjumlahan luas yang telah di selidiki disebut generasi ke lima bahasa-bahasa yang menyatukan logika pemrograman konstruksi.

Prolog is a logic programming language associated with artificial intelligence and computational linguistics.
Prolog adalah satu bentuk logic programming yang berkaitan dengan intelegensia buatan dan bahasa komputasional.

In Japan and elsewhere, huge sums have been spent investigating so-referred to as“fifth generation” languages that integrated logic programming constructs.
Di Jepang dan di tempat lain, penjumlahan luas yang telah di selidiki disebut generasi ke lima bahasa-bahasa yang menyatukan logika pemrograman konstruksi.

In linear logic programming, one can use the ambient linear logic to support state change.
Dalam pemrograman logika linear, kita dapat menggunakan logika linier ambien untuk mendukung perubahan negara.

In Japan and elsewhere, vast sums had been spent investigating so-called fifth-generation programming languages that included logic programming constructs.
Di Jepang dan di tempat lain, penjumlahan luas yang telah di selidiki disebut generasi ke lima bahasa-bahasa yang menyatukan logika pemrograman konstruksi.

Logic programming- is, in its broadest sense, the use of mathematical logic for computer programming.
Logika pemrograman, dalam arti luas, penggunaan logika matematika untuk pemrograman komputer.

These problems can be either observations that need to be explained(as in classical abductive reasoning) or goals to be solved(as in normal logic programming).
Masalah ini dapat berupa pengamatan yang perlu dijelaskan( seperti dalam penalaran abductive klasik) atau tujuan yang akan dicapai( seperti dalam pemrograman logika normal).

Logic programming systems such as Prolog compute the consequences of the axioms and rules in order to answer a query.
Sistem pemrograman logika seperti Prolog menghitung konsekuensi dari aksioma dan aturan dalam rangka untuk menjawab pertanyaan.

A practised prolog programmer will certainly have an in-depth understanding of such concepts as recursion, searching problem trees and constraint logic programming.
Seorang programmer Prolog yang berlatih tentu akan memiliki pemahaman mendalam tentang konsep-konsep seperti rekursi, mencari pohon masalah dan logika pemrograman kendala.

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.
Logtalk adalah bahasa pemrograman logika berorientasi objek yang dapat menggunakan sebagian besar implementasi Prolog sebagai kompiler back-end.

On artificial intelligence, for example modal logic and default logic in Knowledge representation formalisms and methods, and Horn clauses in logic programming.
Pada kecerdasan buatan, misalnya logika modal dan logika standar di representasi pengetahuan dan metode formalisms, Tanduk klausa dalam logika pemrograman, dan deskripsi logika..

In pure logic programming languages, the control component is fixed and algorithms are specified by supplying only the logic component.
Dalam bahasa pemrograman logika murni komponen kontrol adalah tetap dan algoritme ditentukan dengan memberikan hanya komponen logikanya..

A program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain.
Setiap program yang ditulis dalam bahasa pemrograman logika adalah seperangkat kalimat dalam bentuk logis, mengungkapkan fakta dan aturan tentang beberapa domain masalah.

Abductive logic programming is an extension of normal Logic Programming that allows some predicates, declared as abducible predicates, to be“open” or undefined.
Abductive Logika Pemrograman merupakan perpanjangan dari Pemrograman Logika normal yang memungkinkan beberapa sebutan, dinyatakan sebagai predikat abducible, menjadi tidak lengkap ditetapkan.

In this respect, logic programming is comparable to conventional imperative programming; using programs to control the behavior of a program executor.
Dalam hal ini, pemrograman logika adalah sebanding dengan pemrograman konvensional menggunakan program untuk mengontrol perilaku pelaksana program.

Logic programming in its present form can be traced back to debates in the late 1960s and early 1970s about declarative versus procedural representations of knowledge in Artificial Intelligence.
Logika pemrograman dalam arti sempit dapat ditelusuri kembali ke perdebatan pada akhir 1960- an dan awal 1970- an tentang prosedural versus deklaratif representasi pengetahuan dalam Artificial Intelligence.