
Logic Programming '87
Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.
- ISBN 13 : 9783540194262
- ISBN 10 : 3540194266
- Judul : Logic Programming '87
- Sub Judul : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
- Pengarang : Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki,
- Kategori : Computers
- Penerbit : Springer Science & Business Media
- Bahasa : en
- Tahun : 1988
- Halaman : 327
- Halaman : 327
- Google Book : http://books.google.co.id/books?id=N7fDA5b-8pAC&dq=intitle:logic+algorithm&hl=&source=gbs_api
-
Ketersediaan :
CHASSIS, FUJITSU LIMITED 140, Miyamoto, Numazu, Shizuoka 410-03, Japan
ABSTRACT This paper is concerned with an algorithm for identifying an unknown
regular language from examples of its members and non-members. The
algorithm is based on the model inference algorithm given by Shapiro. In our
setting, however, a given first order language for describing a target logic
program has countably many unary predicate symbols: qo, qi, q%, . . .. On the
other hand, the oracle ...