Spis treści xi
18.3.3. Occam................................ 301
18.4. Współbieżność w języku C.......................... 301
18.5. Zadania.................................... 301
19. Programowanie logiczne 303
19.1. Wprowadzenie do Prologu.......................... 303
19.2. Dane nieatomowe............................... 303
19.3. Listy w Prologu................................ 303
19.4. Rekursja w Prologu.............................. 303
19.5. Arytmetyka w Prologu............................ 303
19.6. Prologowe drzewo poszukiwań........................ 303
19.7. Odcięcie.................................... 303
19.7.1. Negacja ............................... 303
19.8. Metodologia programowania w Prologu................... 303
19.8.1. Akumulator............................. 303
19.8.2. Struktury otwarte .......................... 303
19.9. Zadania.................................... 303
20. Lingwistyka porównawcza języków programowania 305
20.1. Sortowanie .................................. 305
20.2. Sito Eratostenesa............................... 305
21. Zastosowania teorii języków programowania 307
21.1. AnnoDomini ................................. 307
21.2. Proof-carrying codę.............................. 307
319
Skorowidz