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

• lập trình logic

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

Prolog is a logic programming language.
Prolog là ngôn ngữ lập trình logic.

International Conference on Logic Programming.
Hội nghị quốc tế về lập trình logic.

The original logic programming language was Prolog.
Ngôn ngữ lập trình logic tiêu biểu là Prolog.

Logical models including logic programming.
Các mô hình logic bao gồm lập trình logic.

Functional logic programming at U. Kiel"func" library for SWI-Prolog.
Lập trình logic hàm tại U. Kiel Thư viện" func" cho SWI- Prolog.

The most famous language from the logic programming family.
Phổ biến nhất trong dòng các ngôn ngữ lập trình logic.

In logic programming, a program consists of a set of axioms and rules.
Trong lập trình logic, một chương trình bao gồm một tập hợp các tiên đề và các luật.

The most well-known logic programming language is Prolog.
Ngôn ngữ lập trình logic tiêu biểu là Prolog.

Logic programming is a type of programming paradigm which is largely based on formal logic.
Logical paradigm là một loại mô thức lập trình mà phần lớn dựa trên logic hình.

Despite being heavy on the logic, programming is ultimately a creative art.
Mặc dù nặng về logic, lập trình cuối cùng là một nghệ thuật sáng tạo.

Logic programming and Prolog were developed thus allowing computer programs to be expressed as mathematical logic..
Lập trình logic và Prolog đã được phát triển cho phép các chương trình máy tính được biểu hiện như là logic toán học.

The first implementations of constraint logic programming were Prolog III, CLP(R), and CHIP.
Những hiện thực đầu tiên của lập trình logic ràng buộc là Prolog III, CLP( R), và CHIP.

Instead of logic programming, constraints can be mixed with functional programming, term rewriting, and imperative languages.
Thay vì lập trình logic, ràng buộc có thể được trộn lẫn với lập trình hàm, term rewriting system, và lập trình mệnh lệnh.

Finding a suitable declarative semantics for logic programs has been acknowledged as one of the most important and difficult research areas of Logic Programming.
Việc đưa ra một cú pháp thích hợp cho các chương trình logic được coi như một trong những lĩnh vực nghiên cứu quan trọng nhất và khó nhất trong lập trình logic.

It allows the user to learn about logic programming without any background knowledge or experience.
Nó cho phép người sử dụng để tìm hiểu về lập trình logic mà không cần có kiến thức nền hoặc kinh nghiệm.

Functional logic programming is the combination, in a single programming language, of the paradigms of functional programming and logic programming.[1] This style of programming is embodied by various programming languages, including Curry and Mercury.[2][1].
Lập trình logic hàm( tiếng Anh: functional logic programming) là sự kết hợp mẫu hình lập trình chức năng và lập trình logic thành một ngôn ngữ lập trình duy nhất.[ 1] Phong cách lập trình này được thể hiện bằng nhiều ngôn ngữ lập trình khác nhau, bao gồm Curry và Mercury.[ 2][ 1].

Microsoft Access improved version of the database with improved logic programming integration with the business data catalog(BDC, Business Data Catalog), 25 quality templates.
Microsoft Access 2013- Một phiên bản cải tiến của các cơ sở dữ liệu với cải thiện chương trình logic, tích hợp với các dữ liệu kinh doanh Catalog( BDC, kinh doanh dữ liệu Catalog), 25 mẫu chất lượng.

This variant of logic programming is due to Jaffar and Lassez, who extended in 1987 a specific class of constraints that were introduced in Prolog II.
Biến thể này của lập trình logic do Jaffar và Lassez đã mở rộng một lớp cụ thể các ràng buộc được giới thiệu trong Prolog II vào năm 1987.

Common declarative languages include those of database query languages(e.g., SQL, XQuery), regular expressions, logic programming, functional programming, and configuration management systems.
Ngôn ngữ khai báo phổ biến bao gồm các ngôn ngữ truy vấn cơ sở dữ liệu( như SQL, XQuery), biểu thức chính quy, lập trình logic, lập trình hàm, và hệ thống quản lý cấu hình.

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.
Logtalk là một ngôn ngữ lập trình logic hướng đối tượng có thể sử dụng hầu hết các triển khai Prolog như một trình biên dịch back- end.

These strings are labels(predicate logic for knowledge representation, logic programming, and distributed database systems) of three fourth-level nodes in the ACM CR classification tree.
Những chuỗi là các nhãn( predicate logic đại diện cho kiến thức, lập trình logic, và các hệ thống cơ sở dữ liệu phân tán) trong ba cấp độ thứ tư, các nút trong cây phân loại ACM CR.

This opens constraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming.
Điều này sẽ mở ra trình logic ràng buộc cho người sử dụng kết hợp sức mạnh của lập trình hạn chế đến declarativity của lập trình logic.

A journal devoted to the integration of functional and logic programming was published by MIT Press and the European Association for Programming Languages and Systems between 1995 and 2008.[3].
Một tạp chí dành cho việc tích hợp lập trình chức năng và logic đã được xuất bản bởi MIT Press và Hiệp hội Châu Âu về Ngôn ngữ Lập trình và Hệ thống từ năm 1995 đến năm 2008[ 1].

Control system adopts the best logic programming and software interaction, provides stunning operation experience, effectively enhancing the utilization of sheet metal and reducing waste.
Hệ thống điều khiển áp dụng lập trình logic và tương tác phần mềm tốt nhất, cung cấp trải nghiệm vận hành tuyệt đẹp, tăng cường hiệu quả việc sử dụng kim loại tấm và giảm chất thải.

Tags make up the programming logic that tells templates what to do.
Tags tạo logic cho chương trình để các template biết cần thực thi điều gì.

That means anyone anywhere from K to 12 can play have fun learn real programming logic!
Điều đó có nghĩa là bất cứ ai từ K đến 12 đều có thể chơi, vui chơi và học logic lập trình thực sự!

You write the specification in XML, a data format that wasn't designed to support programming logic.
Bạn phải viết specification bằng XML, một kiểu data format không được thiết kế để hỗ trợ việc lập trình logic.

Instead, you can separate programming logic from error handling and place them in adjoining blocks of code.
Thay vào đó, bạn có thể tách biệt luận lý lập trình xử lý lỗi và đặt chúng nằm bên cạnh các khối mã.

Try to develop as many programs as possible in‘C', this will help you improve your programming logic.
Cố gắng phát triển nhiều chương trình trong C càng tốt, điều này sẽ giúp bạn cải thiện được khả năng lập trình logic của mình.