Jakiś czas temu stanąłem przed koniecznością napisania w Prologu testów jednostkowych. I to nie tylko w popularnym SWI-Prologu, ale również w nieco bardziej oldschoolowej implementacji GNU Prolog. W najnowszym wpisie na blogu postanowiłem zebrać zdobyte przeze mnie informacje:

LINK: Testy jednostkowe w Prologu

Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #naukaprogramowania #prolog #programowanielogiczne #programowaniedeklaratywne
informatyk - Jakiś czas temu stanąłem przed koniecznością napisania w Prologu testów ...

źródło: comment_1619516924XWuyJrZiOfjh5N9iKXwJj8.jpg

Pobierz
@informatyk: spodziewałem się, że w Prologu będzie więcej podejścia z testowaniem właściwości (jak QuikCheck) zamiast "klasycznych" jednostkowych. Trochę szkoda, bo wydaje mi się, że Prolog ładnie mógłby opisywać takie testy.
  • Odpowiedz
101 i 107 (powieść)

Prolog
fr. 3

Byłoby mu dużo łatwiej tam wtedy w nocy gdyby nie odpiął się od promtera. Nie mógłby zasnąć, to po prostu promter by wstrzyknął narkotyk i stopniowo zapadł by się w niebyt. Rano w odpowiednim momencie inny środek by go wybudził, a miły głos skutecznie zachęcił do wstania i pokierował przez resztę dnia. W odpowiednim opowiedziałby dowcip, w odpowiednim momencie powiedział coś ciekawego. Przeprowadził przez miasto skrótem, którego szkoda by nie znać. Polecił potrawę na obiad, film na wieczór, rozwiązał problem w pracy. Gdy spacer stawałby się zbyt długi zabawny filmik ze zwierzętami na smutny nastrój trochę nostalgii. Idealna rzecz jaką każdy miał. Promter też podpowiadał co mówić w dyskusji. Gdy nie znałeś odpowiedzi wyświetlała się po prostu w twoim mózgu oczywiście w odpowiednim momencie.
  • Odpowiedz
Dziś krótki wpis o dość niszowym zagadnieniu, jakim jest modularyzacja w języku Prolog. Z racji, że jest to dość wiekowa technologia, to nawet nie wszystkie implementacje posiadają jakiegokolwiek sensowne wsparcie dla modułów. Zagadnienie to omawiam na przykładzie 3 różnych implementacji.

LINK: Modularyzacja w Prologu

Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #prolog #programowanielogiczne #programowaniedeklaratywne #naukaprogramowania
@informatyk: lubię Prologa, uważam, że jest niedoceniany, oraz piszę używając potomka Prologa - Erlangu. Nigdy nic większego w nim nie napisałem, ale obecnie w swoim side-projekcie planuję użyć Prologa do definicji ACL, bo IMHO to jest idealne zastosowanie dla niego.
  • Odpowiedz
101 i 107 (powieść)

Prolog
fr. 2

20 Przypomniał mu się jego pierwszy kot. Miał siedem lat, gdy znalazł zwierzaczka na rogu ulicy, zmokniętego i zmarzniętego w pudełku. Był już tak głodny, że nie miał siły wołać i pomoc i tylko cichutko miauczał. Wziął go do domu, wytarł w ręcznik i nakarmił. Zaraz zasnął mu na kolanach zadowolony i szczęśliwy. Potem, chyba dlatego że stracił dom, bardzo się do swojego nowego opiekuna przywiązał. Inne koty wędrowały daleko, znikały czasem i na dzień dwa, a ten trzymał się domu i prawie go nie opuszczał. Jakby bał się, że już nie wróci. Miał swój koci kącik, swoją kocią zabawkę i ulubione miejsca. Czasem siadywał w oknie i godzinami patrzył na ulicę, ale prawie nigdy nie chciał wyjść. Wykastrowany przez weterynarza nie czuł pociągu do innych kotów i omijały go wiosenne walki o terytorium i kocice. Był kotem bardziej niż domowym. Bardzo się do tego kota przywiązał. Sypiali razem w jednym łóżku. Bawili się wspólnie. Gdy oglądał coś kot spał mu na kolanach. Wszystkie te wspomnienia krążyły mu po głowie.
  • Odpowiedz
Prolog

10 Leżał już dość długo i nie mógł zasnąć. Swędziały go nogi, co było podwójnie irytujące, bo nie miał nóg i nie mógł się podrapać. Sam je zresztą usunął, więc nie mógł nikogo za to obwiniać. Nie mógł też wyżalić się nikomu, bo wszędzie dookoła było słychać jakim to dobrodziejstwem było modyfikowanie i jak szczęśliwi są ludzie po modach. Czemu jeszcze nie wzniośliłeś swojego ciała – słyszał dookoła odkąd tylko wyszedł
  • Odpowiedz
@mistrz9813: To co zrobiłeś nie ma sensu, w prologu definiujemy jakie obiekty są w relacji. Stwórz relację jednoargumentową czlowiek, obiekt X jest w relacji człowiek gdy jest człowiekiem. Zrób relacje jednargumentową zwierz. Stwórz relację dwuargumentową dom(X, Y), obiekty X i Y są w relacji dom gdy Y jest domem X. Wtedy np. rodzina wygląda tak: rodzina(X, Y) :- dom(X, Z), dom(Y, Z). - obiekty Y i X są
  • Odpowiedz
Z okazji opublikowania dziś przeze mnie podsumowania mojego prologowego wyzwania, robię #rozdajo książki "Prolog. Programowanie". Wysyłam nowy egzemplarz bezpośrednio z księgarni. Zielonki też biorą udział, a losowanie odbędzie się przez MirkoRandom w czwartek po 20:00.

Warunkiem udziału w losowaniu jest zaplusowanie niniejszego wpisu oraz napisanie w komentarzu pod nim o jakich tematach z zakresu języków programowania najchętniej czytacie/czytalibyście artykuły. Lubię nieoczywiste zagadnienia, więc śmiało proponujcie. ( ͡° ͜ʖ ͡°)

Zachęcam też do lektury pozostałych wpisów na moim blogu,
informatyk - Z okazji opublikowania dziś przeze mnie podsumowania mojego prologowego ...

źródło: comment_9eAhDXJZjf6cemwsQou5TJyo0a7tXIMm.jpg

Pobierz
Czy sądzicie, że Prolog to język, którego nikt nie używa do żadnych poważnych komercyjnych zastosowań? Że nie warto uczyć się tej technologii, bo i tak nigdy nie przyda Wam się w praktyce? W takim razie zapraszam do lektur mojego najnowszego wpisu o realnych zastosowaniach języka Prolog. Dowiecie się z niego m.in. co łączy programistów z Nokii, NASA i Microsoftu oraz w jaki sposób poprawić wyniki hodowli trzody chlewnej. ( ͡°
informatyk - Czy sądzicie, że Prolog to język, którego nikt nie używa do żadnych powa...

źródło: comment_XP5Xh5118EmBZ2QmjJ2WMoY0QeR8ZvVg.jpg

Pobierz
@informatyk: ech, czasem sobie marzę, że jestem taki wywalonym w kosmos programistą i programuję sobie samoloty, myśliwce, rakiety, wahadłowce...

to jest robota, która zmienia świat...
  • Odpowiedz
@informatyk: Elon nie wymysli wlasnego systemu GPS, wlasnej matematyki i wlasnych setek innych rzeczy, bibliotek uzywanych w przemysle kosmicznym, ktore sa obecnie panujacym standardem i powstaly w latach 70-80.
  • Odpowiedz
zestawienie publikuję z dwudniowym opóźnieniem


@imlmpe: Z tego co widzę to już od dawna zestawienia nie pojawiają się w terminie. Może oficjalnie ogłoś że zestawienia będziesz publikował nieregularnie zamiast co tydzień się tłumaczyć ze spóźnienia
  • Odpowiedz