توضیحات
In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the second UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol.University in March 1990. This book contains 13 papers from that conference grouped under four headings: Theory supporting practice motivating theory In this first group of papers, difficulties experienced in practical application of Prolog and in debugging Prolog programs have motivated work on extensions to the language and its development environment. Program development advances are represented by two papers on debugging and one on a development methodology for CLP programs. On the theoretical side a Pure(r) logic language is proposed as well as extensions to make logic more effective for integrity checking in deductive databases. Applications The next group contains three papers. The first describers the use of Prolog to develop a Control Engineering workStation (CES). The second investigates the use of a logic programming based KBMS for developing a prototype Financial Management Information System. In the last it is shown how a subset of prolog can provide a vehicle for the animation of Discrete Mathematics.
`Overall, I found this to be a very good collection of papers, and certainly well worth reading for anyone with an interest more in the theoretical than the practical side perhaps of Artificial Intelligence, and its applications in PROLOG.’ The Australian Computer Journal.
————————————————————–
ترجمه ماشینی :
در برنامهنویسی منطقی، مانند بسیاری از حوزههای دیگر، تئوری اغلب توسط Application به بهترین وجه مورد آزمایش قرار میگیرد و تلاش برای کاربرد غالباً نیاز به پیشرفت در تئوری دارد، بنابراین هم کار نظری و هم کار عملی برای پیشرفت مؤثر ضروری است. این به وضوح در مقالات زیر ارائه شده به دومین کنفرانس برنامه نویسی منطقی انگلستان که توسط شعبه بریتانیا از انجمن برنامه نویسی منطقی حمایت شده بود و در دانشگاه بریستول در مارس 1990 تشکیل شد، مشهود است. این کتاب شامل 13 مقاله از آن کنفرانس است که تحت عنوان گروه بندی شده اند. چهار عنوان: نظریه پشتیبان عمل نظریه انگیزشی در این گروه اول از مقالات، مشکلات تجربه شده در کاربرد عملی Prolog و در اشکال زدایی برنامه های Prolog انگیزه کار بر روی برنامه های افزودنی به زبان و محیط توسعه آن را فراهم کرده است. پیشرفت های توسعه برنامه با دو مقاله در مورد اشکال زدایی و یک مقاله در مورد روش توسعه برنامه های CLP نشان داده شده است. در سمت نظری، یک زبان منطقی Pure(r) و همچنین پسوندهایی برای موثرتر کردن منطق برای بررسی یکپارچگی در پایگاههای داده قیاسی پیشنهاد شدهاست. کاربردها گروه بعدی شامل سه مقاله است. اولین مورد استفاده از Prolog را برای توسعه یک ایستگاه کاری مهندسی کنترل (CES) توصیف می کند. دومی به بررسی استفاده از یک KBMS مبتنی بر برنامه نویسی منطقی برای توسعه یک نمونه اولیه سیستم اطلاعات مدیریت مالی می پردازد. در آخرین نشان داده شده است که چگونه یک زیر مجموعه از prolog می تواند وسیله ای برای انیمیشن ریاضیات گسسته فراهم کند. `به طور کلی، من این را مجموعه بسیار خوبی از مقالات یافتم، و مطمئناً برای هر کسی که علاقه بیشتری به جنبه نظری و شاید جنبه عملی هوش مصنوعی، و کاربردهای آن در PROLOG دارد، ارزش خواندن را دارد. مجله کامپیوتر استرالیا.
tag : دانلود کتاب برنامه نویسی منطقی: مرزهای جدید , Download برنامه نویسی منطقی: مرزهای جدید , دانلود برنامه نویسی منطقی: مرزهای جدید , Download Logic Programming: New Frontiers Book , برنامه نویسی منطقی: مرزهای جدید دانلود , buy برنامه نویسی منطقی: مرزهای جدید , خرید کتاب برنامه نویسی منطقی: مرزهای جدید , دانلود کتاب Logic Programming: New Frontiers , کتاب Logic Programming: New Frontiers , دانلود Logic Programming: New Frontiers , خرید Logic Programming: New Frontiers , خرید کتاب Logic Programming: New Frontiers ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.