资讯

腾讯网3 年
历史上的今天：麦金塔问世；Prolog 之父诞生；IBM 起源
1984 年开发 Prolog III，成为了约束逻辑编程领域的主要创始人。科尔默劳尔于 1970 年成为艾克斯-马赛大学的副教授，1979 年晋升为正教授。尽管在 2006 ...