首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Birth of prolog
被引:0
|
作者
:
Colmerauer, Alain
论文数:
0
引用数:
0
h-index:
0
Colmerauer, Alain
Roussel, Phillipe
论文数:
0
引用数:
0
h-index:
0
Roussel, Phillipe
机构
:
来源
:
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
|
1993年
/ 28卷
/ 03期
关键词
:
D O I
:
暂无
中图分类号
:
学科分类号
:
摘要
:
引用
收藏
相关论文
共 50 条
[1]
THE BIRTH OF PROLOG
COLMERAUER, A
论文数:
0
引用数:
0
h-index:
0
机构:
FAC SCI LUMINY,INTELLIGENCE ARTIFICIELLE GRP,CNRS,URA 816,F-13288 MARSEILLE 9,FRANCE
FAC SCI LUMINY,INTELLIGENCE ARTIFICIELLE GRP,CNRS,URA 816,F-13288 MARSEILLE 9,FRANCE
COLMERAUER, A
ROUSSEL, P
论文数:
0
引用数:
0
h-index:
0
机构:
FAC SCI LUMINY,INTELLIGENCE ARTIFICIELLE GRP,CNRS,URA 816,F-13288 MARSEILLE 9,FRANCE
FAC SCI LUMINY,INTELLIGENCE ARTIFICIELLE GRP,CNRS,URA 816,F-13288 MARSEILLE 9,FRANCE
ROUSSEL, P
SIGPLAN NOTICES,
1993,
28
(03):
: 37
-
52
[2]
用Prolog写Prolog
户村哲
论文数:
0
引用数:
0
h-index:
0
户村哲
小方一郎
论文数:
0
引用数:
0
h-index:
0
小方一郎
姜润民
论文数:
0
引用数:
0
h-index:
0
姜润民
计算机工程与应用 ,
1987,
(01)
: 53
-
63+45
[3]
Tau Prolog: A Prolog Interpreter for the Web
Department of Computing Systems, University of Castilla-La Mancha, Albacete
论文数:
0
引用数:
0
h-index:
0
Department of Computing Systems, University of Castilla-La Mancha, Albacete
02071, Spain
论文数:
0
引用数:
0
h-index:
0
02071, Spain
Theory Pract. Logic Programm.,
1600,
[4]
PROLOG/V - PROLOG IN THE SMALLTALK ENVIRONMENT
LAZAREV, GL
论文数:
0
引用数:
0
h-index:
0
机构:
APPL LOGIC PROGRAMMING INC,PHILADELPHIA,PA 19151
APPL LOGIC PROGRAMMING INC,PHILADELPHIA,PA 19151
LAZAREV, GL
DR DOBBS JOURNAL,
1988,
13
(11):
: 68
-
&
[5]
Parametric polymorphism for typed prolog and λ-prolog
Lect Notes Comput Sci,
(47):
[6]
Tau Prolog: A Prolog Interpreter for the Web
Riaza, Jose A.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Castilla La Mancha, Dept Comp Syst, Albacete 02071, Spain
Univ Castilla La Mancha, Dept Comp Syst, Albacete 02071, Spain
Riaza, Jose A.
THEORY AND PRACTICE OF LOGIC PROGRAMMING,
2024,
24
(01)
: 1
-
21
[7]
Improving prolog programs: Refactoring for prolog
Serebrenik, Alexander
论文数:
0
引用数:
0
h-index:
0
机构:
Tech Univ Eindhoven, LaQuSo, NL-5600 MB Eindhoven, Netherlands
Tech Univ Eindhoven, LaQuSo, NL-5600 MB Eindhoven, Netherlands
Serebrenik, Alexander
Schrijvers, Tom
论文数:
0
引用数:
0
h-index:
0
机构:
Katholieke Univ Leuven, Dept Comp Sci, B-3001 Heverlee, Belgium
Tech Univ Eindhoven, LaQuSo, NL-5600 MB Eindhoven, Netherlands
Schrijvers, Tom
Demoen, Bart
论文数:
0
引用数:
0
h-index:
0
机构:
Katholieke Univ Leuven, Dept Comp Sci, B-3001 Heverlee, Belgium
Tech Univ Eindhoven, LaQuSo, NL-5600 MB Eindhoven, Netherlands
Demoen, Bart
THEORY AND PRACTICE OF LOGIC PROGRAMMING,
2008,
8
(02)
: 201
-
215
[8]
Tau Prolog: A Prolog interpreter for the Web
Valverde, José Antonio Riaza
论文数:
0
引用数:
0
h-index:
0
机构:
Department of Computing Systems, University of Castilla-La Mancha, Albacete,02071, Spain
Department of Computing Systems, University of Castilla-La Mancha, Albacete,02071, Spain
Valverde, José Antonio Riaza
arXiv,
2023,
[9]
Improving Prolog programs: Refactoring for prolog
Schrijvers, T
论文数:
0
引用数:
0
h-index:
0
机构:
Katholieke Univ Leuven, Dept Comp Sci, B-3001 Heverlee, Belgium
Schrijvers, T
Serebrenik, A
论文数:
0
引用数:
0
h-index:
0
机构:
Katholieke Univ Leuven, Dept Comp Sci, B-3001 Heverlee, Belgium
Serebrenik, A
LOGIC PROGRAMMING, PROCEEDINGS,
2004,
3132
: 58
-
72
[10]
'PROLOG'
BRAUN, V
论文数:
0
引用数:
0
h-index:
0
BRAUN, V
THEATER DER ZEIT,
1989,
44
(12):
: 9
-
9
←
1
2
3
4
5
→