標(biāo)題: Titlebook: An Introduction to Programming in Prolog; Patrick Saint-Dizier Textbook 1990 Springer-Verlag New York, Inc. 1990 Natural.Prolog.artificial [打印本頁(yè)] 作者: foresight 時(shí)間: 2025-3-21 19:30
書目名稱An Introduction to Programming in Prolog影響因子(影響力)
書目名稱An Introduction to Programming in Prolog影響因子(影響力)學(xué)科排名
書目名稱An Introduction to Programming in Prolog網(wǎng)絡(luò)公開度
書目名稱An Introduction to Programming in Prolog網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱An Introduction to Programming in Prolog被引頻次
書目名稱An Introduction to Programming in Prolog被引頻次學(xué)科排名
書目名稱An Introduction to Programming in Prolog年度引用
書目名稱An Introduction to Programming in Prolog年度引用學(xué)科排名
書目名稱An Introduction to Programming in Prolog讀者反饋
書目名稱An Introduction to Programming in Prolog讀者反饋學(xué)科排名
作者: consent 時(shí)間: 2025-3-21 20:56
978-0-387-97144-5Springer-Verlag New York, Inc. 1990作者: Terrace 時(shí)間: 2025-3-22 02:45
Horst Czichos Prof. Dr.-Ing. Dr. h.c.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.作者: Asseverate 時(shí)間: 2025-3-22 06:21 作者: licence 時(shí)間: 2025-3-22 09:05 作者: 諂媚于人 時(shí)間: 2025-3-22 16:18
Die Welt um den Cornet v. Dobernitzcult 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.作者: Pathogen 時(shí)間: 2025-3-22 19:38
Wir als Tier und Mensch, und unser Animismusally, we only outline major concepts. Prolog was originally conceived for the translation of simple French sentences into logical formulas. These logical formulas were then transformed into a Prolog program and evaluated on a deductive database. Prolog is thus well adapted to the syntactic analysis of natural or formal languages.作者: intellect 時(shí)間: 2025-3-22 22:59
Das Licht der Sonne und der Sterne,Programming in Prolog consists essentially of three activities:作者: Diverticulitis 時(shí)間: 2025-3-23 04:51
Zum Problem der Teleologie des Handelns,After stating facts and creating a fact base, we can question (or query) the system about the knowledge we have given it.作者: EXUDE 時(shí)間: 2025-3-23 05:42
Legierungselemente und Stahleigenschaften,Prolog rules are an extremely powerful means of expression allowing us to express knowledge in a more general way.作者: 施魔法 時(shí)間: 2025-3-23 12:26 作者: 誘使 時(shí)間: 2025-3-23 13:52 作者: 合并 時(shí)間: 2025-3-23 20:23 作者: 軍械庫(kù) 時(shí)間: 2025-3-23 23:42 作者: CURL 時(shí)間: 2025-3-24 05:01 作者: maculated 時(shí)間: 2025-3-24 08:55
https://doi.org/10.1007/978-3-658-25304-2Lists are a data structure frequently used in Prolog. They permit us to model a large number of diverse problems. There are numerous simple programs associated with the list structure. These are useful in numerous applications and are presented here.作者: Jogging 時(shí)間: 2025-3-24 10:57 作者: RAFF 時(shí)間: 2025-3-24 16:03 作者: 柔聲地說 時(shí)間: 2025-3-24 20:41
Representing Facts in Prolog,Programming in Prolog consists essentially of three activities:作者: 通情達(dá)理 時(shí)間: 2025-3-24 23:52 作者: 殺死 時(shí)間: 2025-3-25 06:00 作者: CHOP 時(shí)間: 2025-3-25 07:49 作者: 構(gòu)想 時(shí)間: 2025-3-25 13:05 作者: 擋泥板 時(shí)間: 2025-3-25 16:09 作者: 極力證明 時(shí)間: 2025-3-25 22:44 作者: 變量 時(shí)間: 2025-3-26 02:53
Structure and Management of Control,In this chapter we examine with more precision resolution mechanisms in Prolog. We present simplified data structures underlying those mechanisms and show how it is possible to intervene in the proof procedure.作者: grounded 時(shí)間: 2025-3-26 05:08 作者: 使迷醉 時(shí)間: 2025-3-26 09:52 作者: 象形文字 時(shí)間: 2025-3-26 15:19
Deductive Databases,Prolog lends itself naturally to the specification and creation of databases. In fact, it offers additional facilities to those found in classic database systems, in particular, the ability to make deductions. This is why a Prolog database is called a ..作者: 姑姑在炫耀 時(shí)間: 2025-3-26 20:35 作者: FLORA 時(shí)間: 2025-3-26 21:20 作者: spondylosis 時(shí)間: 2025-3-27 03:17 作者: escalate 時(shí)間: 2025-3-27 07:22 作者: defuse 時(shí)間: 2025-3-27 10:48 作者: 思鄉(xiāng)病 時(shí)間: 2025-3-27 14:26
http://image.papertrans.cn/a/image/155436.jpg作者: CBC471 時(shí)間: 2025-3-27 21:19 作者: 托運(yùn) 時(shí)間: 2025-3-28 01:40 作者: Panther 時(shí)間: 2025-3-28 04:27
Technikkultur und Amüsement der Zerstreuungit to the automatic fabrication of crossword puzzles (without definitions!). Next, we present a small game of dominos (number or word based) and finally, the game of finding the longest word given a set of letters.作者: Adornment 時(shí)間: 2025-3-28 10:11 作者: 暴行 時(shí)間: 2025-3-28 13:06 作者: expdient 時(shí)間: 2025-3-28 14:44 作者: 終端 時(shí)間: 2025-3-28 19:48
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 時(shí)間: 2025-3-28 23:40
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 時(shí)間: 2025-3-29 06:55
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.作者: 量被毀壞 時(shí)間: 2025-3-29 11:17
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 時(shí)間: 2025-3-29 14:56
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.作者: 凝乳 時(shí)間: 2025-3-29 18:40
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作者: 具體 時(shí)間: 2025-3-29 21:45 作者: 地牢 時(shí)間: 2025-3-30 03:09
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作者: 不透明性 時(shí)間: 2025-3-30 05:14
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.作者: Axillary 時(shí)間: 2025-3-30 12:00
The Automatic Analysis of Natural Language,ally, we only outline major concepts. Prolog was originally conceived for the translation of simple French sentences into logical formulas. These logical formulas were then transformed into a Prolog program and evaluated on a deductive database. Prolog is thus well adapted to the syntactic analysis 作者: defray 時(shí)間: 2025-3-30 13:16
Textbook 1990 first designed in France at OJ.A., Marseille, with a specific syntax. We have adopted here a more common notation, defIned at Edinburgh, which tends to be an implicit norm. At the end of each chapter of the fIrst part, there are exercises that the reader is invited to do and to test on his or her m作者: Ethics 時(shí)間: 2025-3-30 20:34
Prolog was first designed in France at OJ.A., Marseille, with a specific syntax. We have adopted here a more common notation, defIned at Edinburgh, which tends to be an implicit norm. At the end of each chapter of the fIrst part, there are exercises that the reader is invited to do and to test on his or her m978-0-387-97144-5978-1-4612-3332-9作者: xanthelasma 時(shí)間: 2025-3-30 21:06
7樓作者: modifier 時(shí)間: 2025-3-31 00:56
7樓作者: Expertise 時(shí)間: 2025-3-31 06:52
7樓作者: 細(xì)絲 時(shí)間: 2025-3-31 11:39
7樓作者: Palatial 時(shí)間: 2025-3-31 16:21
8樓作者: alliance 時(shí)間: 2025-3-31 19:05
8樓作者: 旋轉(zhuǎn)一周 時(shí)間: 2025-3-31 21:57
8樓作者: Lime石灰 時(shí)間: 2025-4-1 05:47
8樓作者: 藝術(shù) 時(shí)間: 2025-4-1 07:13
9樓作者: 用不完 時(shí)間: 2025-4-1 12:01
9樓作者: Diatribe 時(shí)間: 2025-4-1 16:37
9樓作者: NIP 時(shí)間: 2025-4-1 18:32
10樓作者: exclusice 時(shí)間: 2025-4-2 00:18
10樓作者: 有害處 時(shí)間: 2025-4-2 06:13
10樓作者: 輕率的你 時(shí)間: 2025-4-2 08:02
10樓
