Różnice
Różnice między wybraną wersją a wersją aktualną.
|
|
pl:miw:2009:piw09_clp [2009/06/07 18:51] piw09 |
pl:miw:2009:piw09_clp [2017/07/17 10:08] |
====== 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 ==== | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |