Logic Programming with Prolog
11.2005β―Π³. Β· Springer Science & Business Media
5,0star
1Β ΠΎΡΠ·ΠΈΠ²report
ΠΠ»Π΅ΠΊΡΡΠΎΠ½Π½Π° ΠΊΠ½ΠΈΠ³Π°
223
Π‘ΡΡΠ°Π½ΠΈΡΠΈ
reportΠΡΠ΅Π½ΠΊΠΈΡΠ΅ ΠΈ ΠΎΡΠ·ΠΈΠ²ΠΈΡΠ΅ Π½Π΅ ΡΠ° ΠΏΠΎΡΠ²ΡΡΠ΄Π΅Π½ΠΈ Β ΠΠ°ΡΡΠ΅ΡΠ΅ ΠΏΠΎΠ²Π΅ΡΠ΅
ΠΡΠΈΡΠΊΠΎ Π·Π° ΡΠ°Π·ΠΈ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½Π° ΠΊΠ½ΠΈΠ³Π°
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. Fans of Logic Programming would say that 'different' means clearer, simpler and generally better! Although there are other Logic Programming languages, by far the most widely used is Prolog. The name stands for Programming in Logic. This book teaches the techniques of Logic Programming through the Prolog language. Prolog is based on research by computer scientists in Europe in the 1960s and 1970s, notably at the Universities of Marseilles, London and Edinburgh. The first implementation was at the University of Marseilles in the early 1970s. Further development at the University of Edinburgh led to a de facto standard version, now known as Edinburgh Prolog. Prolog has been widely used for developing complex applications, especially in the field of Artificial Intelligence. Although it is a general-purpose language, its main strengths are for symbolic rather than for numerical computation. The developers of the language were researchers working on automating mathematical theorem proving. This field is often known as computational logic. But if you are not a Computer Scientist, a logician or a mathematician do not let this deter you! This book is aimed at the 99. 9% of the population who are none of these. Those who are, already have a number of excellent textbooks from which to choose.
ΠΡΠ΅Π½ΠΊΠΈ ΠΈ ΠΎΡΠ·ΠΈΠ²ΠΈ
5,0
1Β ΠΎΡΠ·ΠΈΠ²
ΠΡΠ΅Π½Π΅ΡΠ΅ ΡΠ°Π·ΠΈ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½Π° ΠΊΠ½ΠΈΠ³Π°
ΠΠ°ΠΆΠ΅ΡΠ΅ Π½ΠΈ ΠΊΠ°ΠΊΠ²ΠΎ ΠΌΠΈΡΠ»ΠΈΡΠ΅.
ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΡ Π·Π° ΡΠ΅ΡΠ΅Π½Π΅ΡΠΎ
Π‘ΠΌΠ°ΡΡΡΠΎΠ½ΠΈ ΠΈ ΡΠ°Π±Π»Π΅ΡΠΈ
ΠΠ½ΡΡΠ°Π»ΠΈΡΠ°ΠΉΡΠ΅ ΠΏΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΡΠΎ Google Play ΠΠ½ΠΈΠ³ΠΈ Π·Π° Android ΠΈ iPad/iPhone. Π’ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠΈΡΠ½ΠΎ ΡΠ΅ ΡΠΈΠ½Ρ
ΡΠΎΠ½ΠΈΠ·ΠΈΡΠ° Ρ ΠΏΡΠΎΡΠΈΠ»Π° Π²ΠΈ ΠΈ Π²ΠΈ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ²Π° Π΄Π° ΡΠ΅ΡΠ΅ΡΠ΅ ΠΎΠ½Π»Π°ΠΉΠ½ ΠΈΠ»ΠΈ ΠΎΡΠ»Π°ΠΉΠ½, ΠΊΡΠ΄Π΅ΡΠΎ ΠΈ Π΄Π° ΡΡΠ΅.
ΠΠ°ΠΏΡΠΎΠΏΠΈ ΠΈ ΠΊΠΎΠΌΠΏΡΡΡΠΈ
ΠΠΎΠΆΠ΅ΡΠ΅ Π΄Π° ΡΠ»ΡΡΠ°ΡΠ΅ Π·Π°ΠΊΡΠΏΠ΅Π½ΠΈΡΠ΅ ΠΎΡ Google Play Π°ΡΠ΄ΠΈΠΎΠΊΠ½ΠΈΠ³ΠΈ ΠΏΠΎΡΡΠ΅Π΄ΡΡΠ²ΠΎΠΌ ΡΠ΅Π± Π±ΡΠ°ΡΠ·ΡΡΠ° Π½Π° ΠΊΠΎΠΌΠΏΡΡΡΡΠ° ΡΠΈ.
ΠΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΠΈ ΡΠ΅ΡΡΠΈ ΠΈ Π΄ΡΡΠ³ΠΈ ΡΡΡΡΠΎΠΉΡΡΠ²Π°
ΠΠ° Π΄Π° ΡΠ΅ΡΠ΅ΡΠ΅ Π½Π° ΡΡΡΡΠΎΠΉΡΡΠ²Π° Ρ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½ΠΎ ΠΌΠ°ΡΡΠΈΠ»ΠΎ, ΠΊΠ°ΡΠΎ Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½ΠΈΡΠ΅ ΡΠ΅ΡΡΠΈ ΠΎΡ Kobo, ΡΡΡΠ±Π²Π° Π΄Π° ΠΈΠ·ΡΠ΅Π³Π»ΠΈΡΠ΅ ΡΠ°ΠΉΠ» ΠΈ Π΄Π° Π³ΠΎ ΠΏΡΠ΅Ρ
Π²ΡΡΠ»ΠΈΡΠ΅ Π½Π° ΡΡΡΡΠΎΠΉΡΡΠ²ΠΎΡΠΎ ΡΠΈ. ΠΠ·ΠΏΡΠ»Π½Π΅ΡΠ΅ ΠΏΠΎΠ΄ΡΠΎΠ±Π½ΠΈΡΠ΅ ΠΈΠ½ΡΡΡΡΠΊΡΠΈΠΈ Π² ΠΠΎΠΌΠΎΡΠ½ΠΈΡ ΡΠ΅Π½ΡΡΡ, Π·Π° Π΄Π° ΠΏΡΠ΅Ρ
Π²ΡΡΠ»ΠΈΡΠ΅ ΡΠ°ΠΉΠ»ΠΎΠ²Π΅ΡΠ΅ Π² ΠΏΠΎΠ΄Π΄ΡΡΠΆΠ°Π½ΠΈΡΠ΅ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½ΠΈ ΡΠ΅ΡΡΠΈ.
