دانلود کتاب Computing With Logic: Logic Programming With Prolog

Name: Computing With Logic: Logic Programming With Prolog
Availability: InStock
Author: David Maier
ISBN: 0805366814,9780805366815

by David Maier, David S. Warren

عنوان فارسی: محاسبه با منطق: برنامه نویسی منطق با Prolog
ناشر: AW
سال: 1988
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 559-559
شابک: 0805366814,9780805366815
نوع فایل: DJVU دانلود نرم افزار مطالعه
حجم: 3.71 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This text is appropriate for a senior or first-year graduate course on logic
programming. It concentrates on the formal semantics of logic programs, automatic theorem-
proving techniques, and efficient implementation of logic languages. It is also an
excellent reference for the computer professional wishing to do self-study on the
fundamentals of logic programming. We have included numerous examples to
illustrate all the major concepts and results. No other text deals with implementation
in as much detail. Other discussions of implementation techniques do not explain
and develop the relationship between interpreter (or compiler) behavior and
resolution theorem proving. We stress that connection throughout.

گزارش اشکال ⚠