Izkušnja z Prologom kot jezikom za specifikacijo informacijskih sistemov - Bojadžiev, Damjan (Informatica (Ljubljana), 1982)