SYGRAF: implementing logic programs in a database style | IEEE Journals & Magazine | IEEE Xplore