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

Gerontology

Proving partial correctness of guarded horn clauses programs,rams is discussed here. The author investigated a Hoare-like axiomatic system for proving partial correctness of GHC programs. This paper presents fragments of the axiomatic system. Programs which generate processes dynamically during the execution or which contain control of nondeterminism by the g

不要不誠(chéng)實(shí)

跳動(dòng)

Manipulation of embedded context using the multiple world mechanism,edded sentence differs when it is extracted to the outside of the context of the attitude verb. Furthermore, some verbs enable certain kind of reasoning available within the context..We use the multiple world mechanism of Uranus to implement the reasoning in embedded context.

eustachian-tube

Generating natural language responses appropriate to conversational situations - in the case of Japral language sentences which are understood by users most easily. And it is important for this understandability that each sentence is appropriate to the conversational situation at the time of its utterance. In this paper, we will shed light on this appropriateness and consider how we can formalize

BUCK

An approach to speeding up the Prolog-based inference engine KORE/IE,res of the Prolog-based system. The main features provided by KORE/IE are (1)a mechanism of an inference engine on KORE, (2)cooperative problem solving among rule bases, and (3)a speedy inference mechanism. On Prolog, it is important to speed up inference engines without sacrificing flexible power f

Resign

Test generation for large-scale combinational circuits by using Prolog,strict the area where the 4-valued unification will be performed and exploit the knowledge of tests for component modules of large circuits. Examples are given to demonstrate the improvement achieved by this method.

保留

Toshio Kawamura,Hayato Ohwada,Fumio Mizoguchien, hypertrofi?ren en verbenen. Deze groeischijven liggen aan beide kanten van het pijpbeen. De snelheid van de groei varieert, is het grootst intra-uterien, neemt vanaf de geboorte (eigenlijk vanaf de conceptie) voortdurend af, en stijgt nog één keer tijdens de groeispurt van de puberteit. Groeien

habile

Masayuki Numaoen, hypertrofi?ren en verbenen. Deze groeischijven liggen aan beide kanten van het pijpbeen. De snelheid van de groei varieert, is het grootst intra-uterien, neemt vanaf de geboorte (eigenlijk vanaf de conceptie) voortdurend af, en stijgt nog één keer tijdens de groeispurt van de puberteit. Groeien

debris

Martin Nilsson,Hidehiko Tanaka Merks?tze.Includes supplementary material: ."Gerade erziehen" bedeutet der von Nicolas Andry vor mehr als 250 Jahren gepr?gte Begriff "Orthop?die". Was aber machen "Gerade-Erzieher" mit den krummen Kindern? Darf man die Entwicklung der Natur überlassen, oder braucht man zur Begradigung Schienen, Ap

危機(jī)