توضیحاتی در مورد کتاب Logic Programming: Expanding the Horizons
نام کتاب : Logic Programming: Expanding the Horizons
ویرایش : 1
عنوان ترجمه شده به فارسی : برنامه نویسی منطقی: گسترش افق ها
سری :
نویسندگان : Tony Dodd, Richard Owens, Steve Torrance (Editors)
ناشر : Intellect Books
سال نشر : 1991
تعداد صفحات : 224
ISBN (شابک) : 1871516153
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
اولین بار در بریتانیا در سال 1991 توسط
کتاب های عقل
سوئیت 2، خیابان لندن 108/110، آکسفورد OX3 9AW
فهرست نویسی کتابخانه بریتانیا در داده های انتشارات
برنامه ریزی منطقی: گسترش افق ها
1. سیستم های کامپیوتری. برنامه نويسي
I. Dodd, Tony 1952- II. اونز، ریچارد دوم. تورنس، استیو
شابک 1-871516-15-3
چاپ و صحافی در بریتانیای کبیر توسط Billings & Sons Ltd, Worcester
پیشگفتار
=======
این جلد شامل هشت مقاله از کارگاه آموزشی Expanding the Horizons است که در 13 تا 14 فوریه 1989 در کالج امپریال برگزار شد و به صورت گذشته به عنوان اولین کنفرانس برنامه نویسی منطقی انگلستان شماره گذاری شد، کنفرانس بعدی در بریستول در سال 1990 برگزار شد و سومین کنفرانس برنامه ریزی شده بود. برای ادینبورگ در سال 1991. ویراستاران دوم و سوم همراه با کریس ماس و جان اسمیت کارگاه را سازماندهی کردند، در حالی که اولین ویراستار انتشار این جلد را سازماندهی کرد. خلاصه برنامه توزیع شده بین نمایندگان در صفحه زیر ظاهر می شود.
ویراستاران مایلند تشکر خود را از Intellect Ltd برای کمک به غلبه بر مشکلات مختلفی که در زمان آماده سازی جلد به وجود آمدند و از نویسندگان برای صبر و همکاری آنها ثبت کنند.
خوانندگان ممکن است علاقه مند شوند که از وجود شعبه بریتانیا در انجمن برنامه نویسی منطقی مطلع شوند که در نهایت مسئول کنفرانس برنامه نویسی منطقی انگلستان است و تعدادی خدمات دیگر را به اعضا ارائه می دهد. جزئیات بیشتر را می توان از
A.L.P. انگلستان.
P.O. جعبه 469
آکسفورد OX2 0RR
یا ایمیل alpuk@uk.ac.ic.doc.
تونی داد
ریچارد اونز
استیو تورنس
فهرست مطالب :
1
Introduction: The Logic Programing Initiative
(Correct Title: "Introduction: Alvey and Logic Programming")
Tony Dodd and Steve Torrance
14
1: An Incremental Pure Logic Language with Constraints and Classical Negation
Ed Babb
63
2: PR: A Logic for Practical Reasoning
Tim Flannagan
82
3: A Temporal Logic Programming Machine
Dov Gabbay
124
4: Evaluating Different Strategies for Handling Incomplete Information in a Logic Database
Qinzheng Kong and Howard Williams
147
5: Virtual Logic Neurons
Fukimi Kozato and Graem Ringwood
164
6: Implementing Logic Languages by Graph Rewriting
Peter Mc.Brien
189
7: Kelpie: a Concurrent Logic Programming System for Knowledge Based Applications
Hamish Taylor
توضیحاتی در مورد کتاب به زبان اصلی :
First published in Great Britain in 1991 by
Intellect Books
Suite 2, 108/110 London Road, Oxford OX3 9AW
British Library Cataloguing in Publication Data
Logic programming: expanding the horizons.
1. Computer systems. Programming
I. Dodd, Tony 1952- II. Owens, Richard II. Torrance, Steve
ISBN 1-871516-15-3
Printed and bound in Great Britain by Billings & Sons Ltd, Worcester
Preface
=======
This volume contains eight of the papers given at the Expanding the Horizons workshop held at Imperial College on 13th-14th February 1989, and retrospectively numbered as the first UK Logic Programming Conference, a subsequent conference having been held in Bristol in 1990 and a third planned for Edinburgh in 1991. The second and third editors organised the workshop together with Chris Moss and John Smith, while the first organised the publication of this volume. The summary programme distributed to delegates appears on the following page.
The editors wish to record their thanks to Intellect Ltd for helping overcome the various problems that arose while the volume was in preparation, and to the authors for their patience and co-operation.
Readers may be interested to know of the existence of the U.K. branch of the Association for Logic Programming, which is ultimately responsible for the UK Logic Programming Conference and offers a number of other services to members. Further details may be obtained from
A.L.P. U.K.
P.O. Box 469
Oxford OX2 0RR
or email alpuk@uk.ac.ic.doc.
Tony Dodd
Richard Owens
Steve Torrance