Izkušnja z Prologom kot jezikom za specifikacijo informacijskih sistemov