To jest stara wersja strony!
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