PROLOG IN 10 FIGURES

被引：26

作者：

COLMERAUER, A

机构：

[1] Univ of Aix-Marseilles at Luminy,, Groupe d'Intelligence Artificielle,, Luminy, Fr, Univ of Aix-Marseilles at Luminy, Groupe d'Intelligence Artificielle, Luminy, Fr

来源：

COMMUNICATIONS OF THE ACM | 1985年 / 28卷 / 12期

关键词：

ARTIFICIAL INTELLIGENCE;

D O I：

10.1145/214956.214958

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In the fall of 1981, a Japanese report officially initiated the quest for fifth-generation computers that would encompass the functions of knowledge processing and artificial intelligence. The conceptual underpinnings behind Prolog-Japan's language of choice for these activities-are presented here in a way that suggests why Prolog or a similar language might be considered a model for designing the computers of the future.

引用

页码：1296 / 1310

页数：15

共 13 条

[1]

COLMERAUER A, 1984, 5TH P INT C GEN COMP

[2]

COLMERAUER A, 1983, TECH SCI INF, V2, P4

[3]

COLMERAUER A, 1970, 43 U MONTR DEP INF I

[4]

Giannesini F., 1985, PROLOG

[5]

KOWALSKI RA, 1976, J ACM, V23, P733

[6]

PIQUE JF, 1984, 2ND P INT LOG PROGR

[7]

Robinson J.A, 1979, LOGIC FORM FUNCTION

[8] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .

JOURNAL OF THE ACM, 1965, 12 (01) :23-&

[9]

Roussel P, 1975, PROLOG MANUEL REFERE

[10]

VANCANEGHEM M, 1984, THESIS U MARSEILLE 2

← 1 2 →