HOME > 상세정보

상세정보

Techniques of Prolog programming : with implementation of logical negation and quantified goals

Techniques of Prolog programming : with implementation of logical negation and quantified goals (6회 대출)

자료유형
단행본
개인저자
Van Le, T.
서명 / 저자사항
Techniques of Prolog programming : with implementation of logical negation and quantified goals / T. van Le.
발행사항
New York :   Wiley,   c1993.  
형태사항
xviii, 601 p. : ill. ; 24 cm. + 2 computer disks (3 1/2 in.)
ISBN
047157175X (paper)
일반주기
System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.  
서지주기
Includes bibliographical references (p. 585-593) and index.
일반주제명
Prolog (Computer program language) Negation (Logic)
000 00897camuuu200253 a 4500
001 000000518275
003 OCoLC
005 19970530123735.0
008 920814s1993 nyua b 001 0 eng
010 ▼a 92030399
020 ▼a 047157175X (paper)
040 ▼a DLC ▼c DLC
049 ▼a ACSL ▼l 421116030
050 0 0 ▼a QA76.73.P76 ▼b V36 1993
082 0 0 ▼a 005.13/3 ▼2 20
090 ▼a 005.133 ▼b V259t
100 1 ▼a Van Le, T.
245 1 0 ▼a Techniques of Prolog programming : ▼b with implementation of logical negation and quantified goals / ▼c T. van Le.
260 ▼a New York : ▼b Wiley, ▼c c1993.
300 ▼a xviii, 601 p. : ▼b ill. ; ▼c 24 cm. + ▼e 2 computer disks (3 1/2 in.)
500 ▼a System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.
504 ▼a Includes bibliographical references (p. 585-593) and index.
650 0 ▼a Prolog (Computer program language)
650 0 ▼a Negation (Logic)

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 005.133 V259t 등록번호 421116030 (3회 대출) 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 세종학술정보원/과학기술실(5층)/ 청구기호 005.133 V259t 등록번호 151011830 (1회 대출) 도서상태 대출가능 반납예정일 예약 서비스 B M ?
No. 3 소장처 세종학술정보원/과학기술실(5층)/ 청구기호 005.133 V259t 등록번호 151011831 (2회 대출) 도서상태 대출가능 반납예정일 예약 서비스 B M ?
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 005.133 V259t 등록번호 421116030 (3회 대출) 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실(5층)/ 청구기호 005.133 V259t 등록번호 151011830 (1회 대출) 도서상태 대출가능 반납예정일 예약 서비스 B M ?
No. 2 소장처 세종학술정보원/과학기술실(5층)/ 청구기호 005.133 V259t 등록번호 151011831 (2회 대출) 도서상태 대출가능 반납예정일 예약 서비스 B M ?

컨텐츠정보

책소개

Approaches the subject by applying the format used in successful language courses. Offers a comprehensive exhibition of Prolog programming techniques in four stages--declarative, procedural, advanced and meta-programming. Presents simple and efficient implementation of logical negation and quantified goals which are necessary in expert systems. The dynamics of these new features are shown in the construction of a multilingual expert system shell that supports negative and quantified queries as well as subtypes. The easy-to-follow tutorial style and numerous fully-solved exercises facilitate understanding. Comes with 3.5 inch disk containing all programs in the book.

New feature

This accurate and extremely clear book presents a step-by-step guide to Prolog Programming through 4 stages: declarative, procedural, advanced, and metaprogramming with an emphasis on artificial intelligence. It covers a wide range of topics and many new techniques and programming tools.
  • Numerous examples, fully solved problems with explanations, and additional problems for practice show students how to apply the techniques discussed and how to avoid common errors.
  • Unique implementation of logical negation and quantified goals provides a form of logical negation useful in expert systems and database query-answering systems.
  • Applications to expert systems, database query-answering systems and natural language processing provide new and powerful techniques of metaprogramming for the construction of large and complex systems.
  • Unique chapter on object-oriented programming and simulation provides a favorable alternative to traditional simulation programming.
  • Praised by reviewers for its superior coverage of data structures and control structures.
Included with this book is software containing all of the Prolog Programs found in this book. "This book has the possibility of being The Prolog Reference Book… I would recommend the book for all the high quality examples alone." Roy Freedman, Inductive Solutions, Inc. "This is the strongest book (in Prolog programming) on the market, by virtue of its coverage. The author hits a lot of the tried and true stuff in Prolog as well as some new departures." Kevin Reilly, University of Alabama at Birmingham "The writing style is very clear and the explanations are logically presented. Students with no background in Prolog should be able to read the first two-thirds of this book and understand all of it." Clint Smullen, University of Tennessee "The overall balance of the work is reasonable and appropriate. The organization is good, the examples and problems are excellent… I believe it will be an excellent book for Prolog and AI courses." Quang van Tran, Oklahoma State University "There seems to be hardly any programming problem which is not dealt with in one place or another. This should enable a very rich range of courses to be developed around the book." Christopher Hogger, Imperial College, London


정보제공 : Aladin

목차

Declarative Prolog Programming.

Procedural Prolog Programming.

Control and Side-Effect Features of Prolog.

Development of Prolog Programs.

Advanced Programming Techniques and Data Structures.

Search Techniques.

Meta-Programming in Prolog.

Building Expert Systems in Prolog.

Natural Language Processing in Prolog.

System Simulation in Prolog.

Appendices.

Bibliography.

Index.


정보제공 : Aladin

관련분야 신착자료

Harvard Business Review (2025)