[[
✎ pl:miw:2009:piw09_clp
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
====== 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 ======
pl/miw/2009/piw09_clp.1244393784.txt.gz
· ostatnio zmienione: 2019/06/27 15:58 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry