| 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회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 005.133 V259t | 등록번호 151011830 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 3 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 005.133 V259t | 등록번호 151011831 (2회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.133 V259t | 등록번호 421116030 (3회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 005.133 V259t | 등록번호 151011830 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 005.133 V259t | 등록번호 151011831 (2회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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.
정보제공 :
목차
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.
정보제공 :
