Titlebook: Logic Programming ‘87; Proceedings of the 6 Koichi Furukawa,Hozumi Tanaka,Tetsunosuke Fujisaki Conference proceedings 1988 Springer-Verlag

流利圆滑

Mosaic

,Update propagation network — A framework for constraint programming, on top of the network. The model is used both to describe description of constraint programming and to offer a graphic model for logic programming. An update propagation mechanism, which is useful for on-line interactive systems, is selected as a constraint propagation mechanism. To deal with many-

使厌恶

Interferons

Deriving a compilation method for parallel logic languages,in Prolog, we converted Concurrent Prolog programs step by step to compiled codes in Prolog. Each conversion step was successfully executed on a Prolog language processor. We examined how each conversion step contributed to performance improvement, using sample Concurrent Prolog programs such as a m

致词

GLEAN

名字

construct

音乐等

Inductive inference of regular languages based on model inference,ased 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: .0, .1, .2, ....On the other hand, the oracle which gives information about the unknown regular language to

circuit