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

pl/miw/2009/piw09_clp.1244393550.txt.gz · ostatnio zmienione: 2017/07/16 23:25 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0