Titlebook: An Introduction to Programming in Prolog; Patrick Saint-Dizier Textbook 1990 Springer-Verlag New York, Inc. 1990 Natural.Prolog.artificial

expdient

終端

Textbook 1990. This book is written for programmers familiar with other programming languages, as well as for novices in computer science, willing to have an original introduction to programming. The approach adopted in this book is thus based on methodological elements together with some pragmatic aspects. The

indemnify

ng methods. This book is written for programmers familiar with other programming languages, as well as for novices in computer science, willing to have an original introduction to programming. The approach adopted in this book is thus based on methodological elements together with some pragmatic asp

Demonstrate

Horst Czichos Prof. Dr.-Ing. Dr. h.c.for an understanding of the chapters that follow. A number of the ideas given in this chapter have already been introduced intuitively in the preceding chapters. This chapter is not overly concerned with formalisms; the reader is referred to more detailed works given in the Bibliography.

量被毀壞

Formal Aspects of Programming in Logic,for an understanding of the chapters that follow. A number of the ideas given in this chapter have already been introduced intuitively in the preceding chapters. This chapter is not overly concerned with formalisms; the reader is referred to more detailed works given in the Bibliography.

Asymptomatic

Some Programming Advice,nd a lot of freedom is given to the programmer. Prolog programs are often shorter than their procedural equivalents. The high abstract level of Prolog permits the development of applications in a relatively short time.

凝乳

Formal Aspects of Programming in Logic,l logic, as well as to state more formally its declarative and procedural semantics. The reading of this chapter is important, although not necessary for an understanding of the chapters that follow. A number of the ideas given in this chapter have already been introduced intuitively in the precedin

具體

地牢

An Expert System about Animals,n and justify its reasoning about the knowledge. An expert system also often provides a “friendly” user interface. In this chapter, we present a very simple expert system that guesses the name of an animal from the description of certain characteristics. This example is widely discussed in the exper

不透明性

Count It Out,cult to express in terms of the somewhat rigid strategy imposed by Prolog. This is particularly the case with the procedure traversal, which is not random but starts with the first clause and continues in the order in which the clauses are written.