Różnice między wybraną wersją a wersją aktualną.
|
pl:miw:2009:piw09_clp [2009/06/07 18:56] piw09 |
pl:miw:2009:piw09_clp [2019/06/27 15:50] |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Opis ====== | ||
| - | Joanna Jaworek, [[jaworek.joanna@gmail.com]] \\ | ||
| - | **Temat: Programowanie z wykorzystaniem ograniczeń CLP. Sekwencjonowanie DNA- projekt z wykorzystaniem biblioteki JPL swi-prolog.** | ||
| - | |||
| - | ====== Wstęp ====== | ||
| - | Niniejsza praca składa się z sześciu rozdziałów: programowanie logiczne, programowanie logiczne z ograniczeniami, CHR, problemy NP-trudne, sekwencjonowanie DNA oraz podsumowanie. Celem pierwszych dwóch rozdziałów jest przedstawienie koncepcji programowania w prologu oraz zaprezentowanie kilku zaimplementowanych przykładów. Rozdział trzeci przedstawia ciekawe wykorzystanie programowania CLP/CHR do rozwiązywania problemów NP-trudnych, czyli o dużej złożoności czasowej. Tutaj także zaprezentuję aplikację umożliwiającą testowanie programów. Rozdział czwarty odwołuje się do ostatnich nowinek ze świata nauki, które pokładają dużą nadzieję w sekwencjonowanie DNA właśnie w prologu. Rozdział ten także zawiera moją własną implementację prostego sekwencjonowanie DNA. Ostatni rozdział to podsumowanie referatu oraz przedstawienie innych implementacji platform oraz narzędzi opartych na CLP. | ||
| - | |||
| - | ====== Programowanie logiczne ====== | ||
| - | ===== Teoria ===== | ||
| - | ===== Prolog a programowanie w logice ===== | ||
| - | ====== Constraint logic programming -programowanie z ograniczeniami ====== | ||
| - | ===== Teoria ===== | ||
| - | ===== Propagacja ograniczeń ===== | ||
| - | ===== Dystrybucja i poszukiwanie ===== | ||
| - | ===== Ograniczenia ===== | ||
| - | ==== Arytmetyczne ==== | ||
| - | ==== Logiczne ==== | ||
| - | ==== Listy i liczby rzeczywiste ==== | ||
| - | ===== Moduły CLP ===== | ||
| - | ==== clpfd (Constraint Programming Language over Finite Domains) ==== | ||
| - | ==== clp_distinct ==== | ||
| - | ==== CLP(Q,R) Constraint Logic Programming over Rationals or Reals ==== | ||
| - | ===== Wady CLP ===== | ||
| - | ====== CHR -Constraint Handling Rules ====== | ||
| - | ===== Program z przykładami ===== | ||
| - | ==== Przykłady ==== | ||
| - | ==== Implementacja ==== | ||
| - | ====== Sekwencjonowanie DNA ====== | ||
| - | ===== Teoria ===== | ||
| - | ===== Implementacja sekwencjonowania DNA w PROLOGu ===== | ||
| - | ==== Wybór środowiska ==== | ||
| - | ==== Interfejs użytkownika ==== | ||
| - | ====== Podsumowanie ====== | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
