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

온라인으로 읽기

다운로드 (pdf, 1.28 MB)

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다

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

주로 사용되는 용어