LOGIC, PROGRAMMING AND PROLOG (2ED)

Main
Computers - Programming
LOGIC, PROGRAMMING AND PROLOG (2ED)

LOGIC, PROGRAMMING AND PROLOG (2ED)

Ulf Nilsson and Jan Maluszyński

0 / 4.5

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

The main objective of this textbook is to provide a uniform account of both the foundations of logic programming and simple programming techniques in the programming language Prolog. The discussion of the foundations also facilitates a systematic survey of variants of the logic programming scheme, like constraint logic programming, deductive databases or concurrent logic programming. This book is not primarily intended to be a theoretical handbook on logic programming. Nor is it intended to be a book on advanced Prolog programming or on constraint logic programming.

سب زمرہ:

Computers - Programming

زبان:

english

فائل:

PDF, 1.28 MB

IPFS:

,

english

آن لائن پڑھیں

میں تبدیلی جاری ہے۔

میں تبدیلی ناکام ہو گئی۔

آپ کو دلچسپی ہوسکتی ہے

Nilsson U., Maluszynski J. — Logic, Programming and Prolog

— The Art of Prolog

Krzysztof R. Apt — From Logic Programming to Prolog

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5: Logic Programming

Christopher John Hogger — Essentials of Logic Programming

Dale Miller (ed.) — Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia

Apt, Krzysztof R.; Rutten, J. J. M. M.; Bakker, Jacobus Willem — Logic programming languages : constraints, functions, and objects

Pierre Deransart, Jan Maluszynski — A Grammatical View of Logic Programming

Jean-Louis Lassez (ed.) — Logic programming: proceedings 4th international conference, vol.1

Frank Pfenning (ed.) — Types in Logic Programming

Leon Sterling, Ehud Shapiro — The art of Prolog: advanced programming techniques

Krzysztof R Apt; J W de Bakker; J J M M Rutten — Logic programming languages : constraints, functions, and objects

Pascal Van Hentenryck (eds.) — Logic programming : proceedings of the eleventh International Conference on Logic Programming

Krzysztof Apt (ed.) — Logic Programming: The Joint [9th] International Conference & Symposium

Saumya Debray, Manuel Hermenegildo (ed.) — Logic programming: proceedings of the 1990 North American conference

Kowalski R.A., Bowen K.A. (eds.) — Logic programming: proceedings 5th international conference, vol.1

Giorgio Levi, Maurizio Martelli (ed.) — Logic programming: proceedings of the 6 international conference

Michael Maher (ed.) — Logic Programming: The 1996 International Symposium: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Leon Sterling; Ehud Shapiro — The Art of Prolog: Advanced Programming Techniques

David H. D. Warren, Peter Szeredi (ed.) — Logic Programming: Proceedings of the The 7th International Conference

David S. Warren — Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary

J. W Lloyd — Foundations of logic programming

Ulf Nilsson, Jan Maluszynski — Logic, Programming and Prolog

Peter Flach — Simply Logical: Intelligent Reasoning by Example

Ulf Nilsson, Jan Mauszynski — Logic, programming and prolog

Uwe Schöning — Logic for computer scientists

D.R.Brough (ed.) — Logic Programming: New Frontiers

John W. Lloyd — Foundations of Logic Programming (Symbolic Computation)

Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.) — Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.) — Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Luís Moniz Pereira, Luis Caires, José Alferes (auth.), E. Lamma, P. Mello (eds.) — Extensions of Logic Programming: Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.) — Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Roy Dyckhoff, (ed.) — Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.) — Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

John Wylie Lloyd (auth.) — Foundations of Logic Programming

اہم جملے