دانلود کتاب Prolog: The Standard: Reference Manual
کتاب Prolog: The Standard: Reference Manual نسخه زبان اصلی
دانلود کتاب Prolog: The Standard: Reference Manual بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Prolog: The Standard: Reference Manual
نام کتاب : Prolog: The Standard: Reference Manual
ویرایش : 1
عنوان ترجمه شده به فارسی : Prolog: The Standard: Reference Manual
سری :
نویسندگان : Dr. Pierre Deransart, Dr. AbdelAli Ed-Dbali, Dr. Laurent Cervoni (auth.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1996
تعداد صفحات : 282
ISBN (شابک) : 9783540593041
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این اولین راهنمای مرجع استاندارد بین المللی ISO زبان برنامه نویسی Prolog است. Prolog اولین زبان برنامه نویسی منطقی بود و در بسیاری از زمینه ها در صنعت استفاده می شود، مانند طراحی و ساخت به کمک کامپیوتر، مهندسی نرم افزار، چند رسانه ای و مستندسازی، سیستم های هوش مصنوعی و پایگاه های داده (سیستم های خبره، پایگاه های دانش، رابط های انسان و ماشین، تجزیه و تحلیل زبان طبیعی). ) و زمینه های کاربردی مانند حمل و نقل، مخابرات و بانکداری. علاوه بر این، این زبان هسته بسیاری از زبان‌های برنامه‌نویسی منطقی نوظهور است که از محدودیت‌ها، توابع و همزمانی پشتیبانی می‌کنند.
این کتاب یک توصیف کامل قابل فهم از زبان استاندارد همراه با مشخصات اجرایی ارائه می‌دهد. این برنامه توسعه دهندگان سیستم، برنامه نویسان برنامه کاربردی و کاربران Prolog را قادر می سازد با هر پردازنده منطبق با استاندارد کار کنند.
یک بسته نرم افزاری حاوی مشخصات اجرایی استاندارد Prolog و نمونه های برنامه را می توان از طریق وب جهانی از http://www.springer دانلود کرد. de (از لینک نمونه ها و مکمل ها دنبال کنید). e
فهرست مطالب :
Front Matter....Pages I-XV
Introduction....Pages 1-4
Prolog Data Structures....Pages 5-10
Prolog Unification....Pages 11-17
Prolog Execution Model....Pages 19-32
The Built-in Predicates....Pages 33-194
Prolog Arithmetic....Pages 195-204
Prolog Environment: Sources and Sinks....Pages 205-213
Prolog Flags and Directives....Pages 215-219
Prolog Syntax....Pages 221-238
Writing Portable Programs....Pages 239-244
Annexes....Pages 245-260
Back Matter....Pages 261-272
توضیحاتی در مورد کتاب به زبان اصلی :
This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming language and is used in many areas in industry, such as computer aided design and manufacturing, software engineering, multimedia and documentation, AI systems and databases (expert systems, knowledge bases, man-machine interfaces, natural language analysis), and application fields like transportation, telecommunications, and banking. Moreover, it is the kernel language of many emerging logic programming languages which support constraints, functions and concurrency.
The book gives a comprehensible full description of the standardized language together with an executable specification. It enables system developers, application programmers and Prolog users to work with any standard conforming processor.
A software package containing the executable specification of Standard Prolog and program examples can be downloaded via World Wide Web from http://www.springer.de (following the link to samples and supplements). e
پست ها تصادفی