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
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