MARC 닫기
00423nam ac200169 k 4500
000003568675
20220101120000
ta
010731s1984 US 000 eng
▼a 211070
▼c 211070
▼l WM0003018919
▼v 1984
▼a QA76.63
▼a QA76.63
▼b P76
▼c 1984
▼a PROGRAMMING IN PROLOG/
▼d CLOCKSIN,W F
▼a BERLIN:
▼b SPRINGER-VERLAG,
▼c 1984.
▼a 296p.
▼a CLOCKSIN,W F
▼a 단행본
| 자료유형 : | 단행본 |
|---|---|
| 분류기호 : | QA76.63 |
| 서명/저자사항 : | PROGRAMMING IN PROLOG/ CLOCKSIN,W F |
| 발행사항 : | BERLIN: SPRINGER-VERLAG, 1984. |
| 형태사항 : | 296p. |
| 개인저자 : | CLOCKSIN,W F |
| 언어 | 영어 |
WMO199919853
권 호 : 296
발행년 : 1984
서 명 : PROGRAMMING IN PROLOG
발행처 : CLOCKSIN,W F
목차
1. A CLOSER LOOK
2. USING DATA STRUCTURES
3. BACKTRACKING AND CUT
4. INPUT AND OUTPUT
5. BUILT-IN PREDICATES
6. MORE EXAMPLE PROGRAMS
7. DEBUGGING PROLOG PROGRAMS
8. USING PROLOG GRAMMAR RULES
9. THE RELATION OF PROLOG TO LOGIC
10. PROJECTS IN PROLOG
서평쓰기