Logic programming '85. Proceedings of the 4th conference, Tokyo, Japan, July 1--3, 1985
The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Haraguchi, Makoto}, Analogical reasoning using transformations of rules, 56-65 [Zbl 1497.68458] \textit{Hisano, T.; Suwa, M.}, Synchronization and communication in the `subject', 66-77 [Zbl 1497.68341] \textit{Ueda, Kazunori}, Guarded Horn clauses, 168-179 [Zbl 1497.68089]
scientific article; zbMATH DE number 3948170