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.
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
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.
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
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ł
@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ą w
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. ( ͡° ͜ʖ
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
◢ #unknownews

W tym tygodniu zestawienie publikuję z dwudniowym opóźnieniem - wyjazdowy tydzień utrudnił mi przygotowanie paczki linków.


1) Historia próby odzyskania Bitcoinów o wartości ~200000 USD z zepsutego laptopa
https://www.engadget.com/2017/12/05/how-not-to-store-your-bitcoins/

2) Wstęp do programowania logicznego w #prolog.u - idealne dla początkujących ( #naukanowego )
https://www.matchilling.com/introduction-to-logic-programming-with-prolog/

3) Historia człowieka, który uczynił swoją budkę z jedzeniem, najwyżej ocenianą restauracją na TripAdvisorze
https://www.vice.com/en_uk/article/434gqw/i-made-my-shed-the-top-rated-restaurant-on-tripadvisor

4) Szał na krypto-kociaki (CryptoKitties) spowolnił transakcje w sieci
imlmpe - ◢ #unknownews ◣

 W tym tygodniu zestawienie publikuję z dwudniowym opóźnie...

źródło: comment_XwPVwtrxDH9wPXipjkXHZW13vK4iuCxw.jpg

Pobierz
@interface: Mam średnie wspomnienia, jeśli chodzi o Prologa. W deklaratywnej teorii wszystko fajnie, ale w praktyce szybko się okazuje, że język jednak aż tak wiele sam nie "myśli" i trzeba mu mocno pomagać, co nieźle plącze kod.