[[
✎ 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 ====== ====== 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.1244393550.txt.gz
· ostatnio zmienione: 2019/06/27 15:58 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry