[[
✎ pl:miw:2009:miw09_varda_fix
]]
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ć.
====== Varda Fix ====== Paweł Płazieński, niver@student.agh.edu.pl :!: Fix, [[hekate:VARDA]] improve, extend, build better ui, * list -> set! * audit! * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/ugraphs.html]] * doc in pldoc * shell?: add, split, finalize * evaluate java guis FIXME ====== Spotkania ====== ===== 20090305 ==== * zalety ugraph, krótki przykład 1-2 predykatów * prosty shell: predykat czytajacy linie z wejscia z automatycznym dopelnianiem odpowiednich wartosci ===== 20090219 ==== Główny punkt spotkania: * ugraph i sens jego zastosowania * Lista ugraph-ów jako historia rozwoju diagramu ARD? Dodatkowe punkty: * Wyjaśnienie czy sort/2 wystarczy * shell: readline? ====== Projekt ====== __(Uwaga do prowadzącego: W poniższych paragrafach pytania inline zaznaczam podkreśleniem).__ Projekt Varda_Fix jest zbiorem kilku niezależnych względem siebie części związanych z VARDA'ą. ===== Zamiana list na zbiory ===== Patch do VARDY, który podował, że propercje zachowywały się jak zbiory, nie jak listy. Przykładowo lista ['Temp', 'Temp', 'Status'] powinna zachowywać się jak zbiór ['Status', 'Temp']. ===== Ugraphs ===== Sprawdzenie czy biblioteka [[http://www.swi-prolog.org/pldoc/doc_for?object=section(2%2C%20'A.25'%2C%20swi('%2Fdoc%2FManual%2Fugraphs.html'))|ugraphs]] nadaje się jako baza danych w VARDA'zie ===== Shell ===== Napisanie prostej, interaktywnej, podpowiadającej linii komend do użycia w VARDA'zie. ====== Sprawozdanie ====== ===== Zamiana list na zbiory ===== Naprawione to zostało przez predykat sort/2, który unifikuje drugi argument z pierwszym argumentem z usuniętymi duplikatami i posortowanym leksykograficznie. Predykat ten został umieszczony w niektórych klauzulach w których propercje były jednym z argumentów. * __Zamieszczać patch? Prawdopodobnie za rok on nie będzie miał większego sensu, żeby tu leżał, ale z drugiej strony nie ma innego dowodu, że wykonałem to co wykonałem :-)__ * __Nie wiem czy jest się jeszcze co rozpisywać w tym punkcie.__ ===== Ugraphs ===== Biblioteka ugraphs ustala prostą reprezentacje grafów skierownych i oferuje proste operacje na grafach. Sens jej użycia w VARDA'ize jest ciężki do ustalenia, gdyż nie oferuje ona nic więcej z czego VARDA mogłaby korzystać, a wymaga przepisania większości kodu i wymyślenia sposobu trzymania dwóch osobnych grafów na raz (zależności historyczne i zleżności modelowe). W ramach sprawdzenia sensowności użycia napisałem [[http://student.agh.edu.pl/~niver/files/minivarda.zip|MiniVarda]], która jest częściową implemntacją tego co oferuje VARDA, jednak opartą na Ugraphs. * __Jeżeli to jest istotne, to chętnie zostawię plik na wiki, bo prawdopodobnie z mojego konta na studencie zniknie w nieokreślonej przyszłości__ ===== Shell ===== Zimplementowany predykat getline/3, znajdujący się w pliku read-tools.pl w [[http://student.agh.edu.pl/~niver/files/minivarda.zip|MiniVardzie]] realizuje odczytanie linijki z klawiatury umożliwiając podpowiedzi i własny prompt. Może to w bardzo prosty sposób zostać wykorzystane w VARDA'zie. * __...pytanie tylko czy GUI w Javie nie będzie wygodniejsze__ ====== Prezentacja ====== ====== Materiały ======
pl/miw/2009/miw09_varda_fix.1238186496.txt.gz
· ostatnio zmienione: 2019/06/27 15:58 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry