| 书目名称 | Logic Programming in Action | | 副标题 | Second International | | 编辑 | G. Comyn,N. E. Fuchs,M. J. Ratcliffe | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | Logic programming enjoys a privileged position. It is firmlyrooted inmathematical logic, yet it is also immenselypractical, as a growing number of users in universities,research institutes, and industry are realizing.Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS‘92. The First LogicProgramming Summer School, LPSS ‘90, addressed thetheoretical foundations of logic programming. This volumefocuses onthe relationship between theory and practice, andon practicalapplications.The introduction to the volume is by R. Kowalski, one ofthepioneers in the field. The following papers are organizedintosections on constraint logic programming, deductivedatabases and expertsystems, processing of natural andformal languages, software engineering,and education. | | 出版日期 | Conference proceedings 1992 | | 关键词 | Processing; Prolog; databases; expert system; formal language; logic; mathematical logic; programming; progr | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-55930-2 | | isbn_softcover | 978-3-540-55930-6 | | isbn_ebook | 978-3-540-47312-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1992 |
The information of publication is updating
|
|
发表于 2025-3-21 16:37:13
