The Role of Logic Programming in ICT Specialists Curricula

被引:0
作者
Hynek, Josef [1 ]
机构
[1] Univ Hradec Kralove, Fac Informat & Management, Hradec Kralove, Czech Republic
来源
2018 28TH EAEEIE ANNUAL CONFERENCE (EAEEIE) | 2018年
关键词
programming language; logic programing; PROLOG; ICT curricula; recursion;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Prolog was a modern, promising and a very popular programming language thirty years ago and Logic Programming acquired a firm place within Computer Science as well as in ICT programs curricula especially at European and Asian Universities. However, the rapid development of new programming languages moved Prolog far away from the beginning of the list of the most widely utilized programming languages. Therefore the logical question is whether there are still some good and justified reasons to keep Logic Programming in the present ICT specialists curricula. This paper outlines some general reasons for maintaining it on the list of the subjects taught and it brings out some basic examples showing the usefulness of the logic programming paradigm especially when explaining and teaching the efficient utilization of recursion.
引用
收藏
页数:5
相关论文
共 12 条
[1]  
Beux S., 2015, CILC, P31
[2]  
Callear D.:., 2000, P LTSN ICS 1 ANN C H
[3]  
Christiansen H., 2004, COMPUT SCI ED, V14, P205, DOI [10.1080/0899340042000302727, DOI 10.1080/0899340042000302727]
[4]  
Diakopoulos N., 2017, IEEE SPECTRUM
[5]   Control of cognitive processes during software design. What tools are needed? [J].
Guindon, Raymonde ;
Curtis, Bill .
SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), 1988, 20
[6]  
Hynek J., 2001, CYBERNETICAL MODELS, P126
[7]   Prolog programming e-course [J].
Hynek, Josef ;
Olsevicova, Kamila .
INTERNATIONAL JOURNAL OF CONTINUING ENGINEERING EDUCATION AND LIFE-LONG LEARNING, 2005, 15 (3-6) :194-211
[8]  
Papp-Varga Z, 2008, ANN MATH INFORM, V35, P163
[9]  
Rinderknecht C, 2014, INFORM EDUC, V13, P87
[10]  
Shapiro E., 1993, COMMUN ACM, P47