informatyk
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
2
  • Najlepsze
  • Wszystkie komentarze
Hauleth
@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.
1
Hauleth
@informatyk: "oryginalna Haskellowa wersja" została przepisana na Erlanga tak BTW (http://www.quviq.com). Możesz też zobaczyć całkowicie otwartą implementację w Erlangu - PropEr. Bardzo przyjemnie się tego używa, np. przy testowaniu serializacji, w której bardzo łatwo zdefiniować właściwości (w tym przypadku ser(de(X)) =:= X).
1
informatyk
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
2
  • Najlepsze
  • Wszystkie komentarze
Hauleth
@informatyk: Za Prologa zawsze plusik
1
Hauleth
@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.
1
informatyk
Na PolyDev.PL właśnie wleciał nowy wpis - tym razem przede wszystkim dla zainteresowanych Prologiem (tak, wiem że to nie jest liczne grono ;D).
LINK: Dynamiczne modyfikowanie prologowej bazy wiedzy

Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #naukaprogramowania #prolog #programowanielogiczne
1
  • Najlepsze
  • Wszystkie komentarze
Hauleth
@informatyk: za Prologa zawsze plusik
1