Another direction of research, star

Another direction of research, started by Green [Gre69], Hayes [Hay73] and Kowalski [Kow74], and continued by many others, combined the idea of logic as a representation language with the theory of automated deduction and constructive logic. This led Kowalski and Colmerauer to the creation of logic programming [Llo87] and the development of the first logic programming language, Prolog [CKPR73].

Kết quả (Việt) 1:

Một hướng nghiên cứu, bắt đầu bằng màu xanh lá cây [Gre69], Hayes [Hay73] và Kowalski [Kow74], và vẫn tiếp tục được nhiều người khác, kết hợp các ý tưởng của logic như là một ngôn ngữ đại diện với các lý thuyết của tự động khấu trừ và xây dựng logic. Điều này dẫn Kowalski và Colmerauer để tạo ra các logic lập trình [Llo87] và sự phát triển của logic lập trình ngôn ngữ đầu tiên, Prolog [CKPR73].

Kết quả (Việt) 2:

Một hướng nghiên cứu, bắt đầu bởi Green [Gre69], Hayes [Hay73] và Kowalski [Kow74], và tiếp tục bởi nhiều người khác, kết hợp các ý tưởng của logic như là một ngôn ngữ biểu diễn với lý thuyết về khấu trừ tự động và logic xây dựng. Điều này dẫn Kowalski và Colmerauer đến việc tạo lập trình logic [Llo87] và sự phát triển của ngôn ngữ lập trình logic đầu tiên, Prolog [CKPR73].