| ISBN |
9783642719226 |
| 기타 표준번호 |
10.1007/978-3-642-71922-6 |
| 청구기호 |
QA76.76.C65 |
| 형태사항 |
IX, 297 p. online resource.
|
| 언어 |
English |
| 내용 |
Round 1. Logic Programs -- 1.1 World Descriptions -- 1.2 Clauses -- 1.3 Definitions -- 1.4 Exercises -- Round 2. Execution of Logic Programs -- 2.1 Horn Clause Proof Procedure -- 2.2 Prolog Proof Procedure -- 2.3 Predefined Relations -- 2.4 An Example -- 2.5 Exercises -- Round 3. Data Structures -- 3.1 Constructed Terms -- 3.2 List Structures -- 3.3 Tree Structures -- 3.4 Difference Lists -- 3.5 Array Structures -- 3.6 Exercises -- Round 4. Databases and Expert Systems -- 4.1 Metalevels -- 4.2 Databases -- 4.3 Expert Systems -- 4.4 An Example -- 4.5 Exercises -- Round 5. Program Methodology -- 5.1 Derivation of Programs -- 5.2 Proof of Program Properties -- 5.3 Program Transformation -- 5.4 An Example -- 5.5 Exercises -- Round 6. Efficient Computation -- 6.1 Search Space Reduction -- 6.2 Ordering of Conditions -- 6.3 Parallelism -- 6.4 Procedural Interpretation of Logic Programs -- 6.5 An Example -- 6.6 Exercises -- Round 7. Input and Output -- 7.1 Input -- 7.2 Output -- 7.3 Examples -- 7.4 Exercises -- Round 8. Prolog Implementations -- 8.1 DECsystem-10 Prolog -- 8.2 Tricia -- 8.3 Quintus Prolog -- 8.4 MProlog -- 8.5 Turbo Prolog -- 8.6 micro-Prolog -- 8.7 LM-Prolog -- Round 9. Sparringpartner -- 9.1 Simple Exercises -- 9.2 Structures -- 9.3 Miscellaneous Exercises -- 9.4 Games -- Appendix A. Answers to Exercises -- A.1 Round 1 -- A.2 Round 2 -- A.3 Round 3 -- A.4 Round 4 -- A.5 Round 5 -- A.6 Round 6 -- A.7 Round 7 -- Appendix B. Program Traces -- B.1 Trace of Sum of triads -- B.2 Trace of Knights tour -- Appendix C. Transformation Rules -- Appendix D. Built-in Predicates -- Appendix E. ASCII Codes.
|
| 주제 |
Compilers (Computer programs).
Artificial intelligence.
Compilers and Interpreters.
Artificial Intelligence.
|
| 보유판 및 특별호 저록 |
Springer Nature eBook
Printed edition: 9783540175773
Printed edition: 9783642719233
|
| QR CODE |
|
