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

Carcinogen

Phagocytes

Pessary

Polymorphic type inference in Prolog by abstract interpretation,sary and relevant information without waste. The monomorphic type inference method is extended to polymorphic types by introducting parameterized type definitions and generalizing operations for manipulating type information accordingly.

Hearten

COWER

Generating natural language responses appropriate to conversational situations - in the case of Japse sentences and consider how people decide to add such features to their sentences depending on situational factors. Then we will show brief methods of deciding how to add suitable surface features to sentences in suitable situations. Finally, we will show an implementation of a conversational system which adopts these methods.

Limousine

An approach to speeding up the Prolog-based inference engine KORE/IE,d realize the flexible rule expressions, we take advantage of a speedy refutation mechanism, partial evaluation techniques and fast searching for heads of clauses. At present, KORE/IE is implemented on C-Prolog and Quintus Prolog, and its efficiency of inferences is comparable with that of OPS5 on Franz Lisp.

encyclopedia

AORTA

跟隨

珍奇