登入選單
返回Google圖書搜尋
Logic Programming in Action
Gerard ComynNorbert E. Fuchs
其他書名
Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
出版Springer Science & Business Media, 1992-08-25
主題Business & Economics / Information ManagementComputers / Artificial Intelligence / GeneralComputers / Design, Graphics & Media / CAD-CAMComputers / Computer ScienceComputers / Information TechnologyComputers / Logic DesignComputers / Management Information SystemsComputers / Programming / GeneralComputers / Programming / Object OrientedComputers / Software Development & Engineering / GeneralMathematics / Discrete MathematicsMathematics / History & PhilosophyMathematics / Logic
ISBN35405593029783540559306
URLhttp://books.google.com.hk/books?id=r5LjAM5g2JIC&hl=&source=gbs_api
EBookSAMPLE
註釋Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.