🚀 go-pugleaf

Ktos sie pytal o zastosowanie Prologu do specyfikacji, a ja
odpowiedzialem negatywnie. W zasadzie neislusznie, bo takie proby
byly.

Patrz ksiazka "Software Blueprints: Lightweight Use of Locgic in
Conceptual Modeling", David Robertson & Jauma Agusti

Jest strona webowa bedaca zalacznikem do ksiazki, stamtad mzona
sciaganc rozne materialy:

http://www.dai.ed.ac.uk/groups/ssp/bookpages/blueprints.html

Z grubsza rzecz biorac, model jest widziany jako program w "logic
programming", mzoe byc konkretnie w Prologu. Fakt ze model jest
"executable" umzliwia testowanie roznych wlasciwisci modelu.

Calosc wyglada zachecajaco, jednakowz z praktycznego punktu widzenia
pojawia sie problem: mamy model w Prologu, i co dalej? Nei potrafilem
znalezc pzrekonywujacej odpowiedzi na to pytanie.

A.L.