What is the translation of " PEMROGRAMAN LOGIKA " in English?

• logic programming
• logicprogramming

Examples of using Pemrograman logika in Indonesian and their translations into English

Pemrograman logika dengan Prolog.
Logic Programming with Prolog.

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

Pemrograman logika dengan Prolog.
From Logic Programming to Prolog.

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

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

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

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

Komputer Generasi Kelima ini akan dibangun dengan konsep pemrograman logika.
These Fifth Generation computers will be built around the concepts of logic programming.

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

Pemrograman Non Prosedural adalah bahasa pemrograman komputer yang tidak memerlukan penulisan pemrograman logika tradisional.
A computer language that does not require writing traditional programming logic.

Dalam pemrograman, logika murni komponen kontrol tetap dan algoritma yang ditentukan hanya dengan menyediakan komponen logis.
In pure logic programming languages the control component is fixed and algorithms are specified by supplying only the logic component.

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

Untuk konsepsi yang lain dari apa yang membentuk sebuah algoritma lihat pemrograman fungsional dan pemrograman logika.
For some alternate conceptions of what constitutes an algorithm see functionalprogramming and logicprogramming.

Ciri pemrograman logika adalah bahwa set formula dapat dianggap sebagai program dan mencari bukti dapat diberikan arti komputasi.
The defining feature of logic programming is that sets of formulas can be regarded as programs and proof search can be given a computational meaning.

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

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

Masalah ini dapat berupa pengamatan yang perlu dijelaskan( seperti dalam penalaran abductive klasik) atau tujuan yang akan dicapai( seperti dalam pemrograman logika normal).
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).

Prolog merupakan bahasa pemrograman logika yang namanya berasal dari bahasa prancis yaitu programmation en logique( Pemrograman Logika).
Prolog is a language that follows the Declarative Paradigm which name is an abbreviation of Programmation en Logique, French for Programming in Logic.

Selain itu bahasa kedua di langkah sebelumnya yang harus dipilih adalah bahasa pemrograman logika/ fungsional( sebaiknya gunakan Prolog atau Lisp).
A graphics course is a must for game programmers and the second language of choice in the preceding steps should be a logic/functional programming language(preferably Prolog or Lisp).

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

Model Belajar Relasional Jika aturan dan pohon-keputusan memiliki sebuah representasi yang terbatas pada logika proporsional, pembelajaran relasional( yang juga dikenal sebagai pemrograman logika induksi) menggunakan bahasa pola yang lebih sederhana dengan logika tingkatsatu.
Relational learning models even though the representation of trees and decision rules is restricted to a propositional logic, relational learning(also known as induction programming logic) uses the standard first order language more flexible.

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

Kendala pemrograman logika telah digunakan untuk memecahkan masalah dalam bidang-bidang seperti teknik sipil, teknik mesin, verifikasi sirkuit digital, penjadwalan otomatis, kontrol lalu lintas udara, dan keuangan.
Constraint logic programming has been used to solve problems in such fields as civil engineering, mechanical engineering, digital circuit verification, automated timetabling, air traffic control, and finance.

Bekerja pada pembelajaran simbolis/ pembelajaran berbasis pengetahuan terus berlanjut di dalam AI, yang mengarah ke pemrograman logika induktif, namun rangkaian penelitian yang lebih statistik sekarang berada di luar bidang AI yang tepat, dalam pengenalan pola dan pencarian informasi.
Work on symbolic/knowledge-based learning did continue within AI, leading to inductive logic programming, but the more statistical line of research was now outside the field of AI proper, in pattern recognition and information retrieval.

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

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

Kendala pemrograman logika telah digunakan untuk memecahkan masalah dalam bidang-bidang seperti teknik sipil, teknik mesin, verifikasi sirkuit digital, penjadwalan otomatis, kontrol lalu lintas udara, dan keuangan.
Constraint logic programming has been applied to a number of fields, such as civil engineering, mechanical engineering, digital circuit verification, automated timetabling, air traffic control, finance, and others.

Sistem kontrol mengadopsi pemrograman logika dan interaksi perangkat lunak terbaik, memberikan penegakan penggunaan lembaran logam dan mengurangi limbah.
Control system adopts the best logic programming and software interaction, provides stunning operation experience, effectively enhances the utilization of sheet metal and reducing waste.