Programming in Tabled Prolog (XSB)

Main
Programming in Tabled Prolog (XSB)

Programming in Tabled Prolog (XSB)

D. S. Warren

0 / 0

এই বইটি আপনার কতটা পছন্দ?

ফাইলের মান কিরকম?

মান নির্ণয়ের জন্য বইটি ডাউনলোড করুন

ডাউনলোড করা ফাইলগুলির মান কিরকম?

সাল:

2013

ভাষা:

english

ফাইল:

LIT , 431 KB

IPFS:

,

english, 2013

অনলাইনে পড়া

তে রূপান্তর প্রক্রিয়া চলছে

-এ রূপান্তর ব্যর্থ হয়েছে

আপনি আগ্রহী হতে পারেন

D. S. Warren — Programming in Tabled Prolog (XSB)

D. S. Warren — Programming in Tabled Prolog (XSB)

David S. Warren — Programming in Tabled Prolog (XSB Prolog)

D. S. Warren — Programming in Tabled Prolog (XSB)

Lee Naish (auth.) — Negation and Control in Prolog

Michael Leuschel (auth.), Maurizio Proietti (eds.) — Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

— The Art of Prolog

Vijay A. Saraswat, Kazunori Ueda (ed.) — Logic programming: proceedings of the 1991 international symposium

Yves Deville — Logic Programming: Systematic Program Development (International Series in Logic Programming)

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

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

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

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

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

Ewing L. Lusk, Ross A. Overbeek, (eds.) — Logic programming: proc. North American conference 1989, vol.1

Michael Maher — Logic programming : 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

Peter Flach — Simply Logical: Intelligent Reasoning by Example

Ulf Nilsson, Jan Maluszynski — Logic, Programming and Prolog

Matthews C. — An Introduction to Natural Language Processing Through Prolog

Symposium on Logic Programming (ed.) — Proceedings 1987 Symposium on Logic Programming

Jack Minker — Foundations of Deductive Databases and Logic Programming

Michael Kifer, Yanhong Annie Liu, (eds.) — Declarative Logic Programming: Theory, Systems, and Applications

Michael Kifer, Yanhong Annie Liu, (eds.) — Declarative Logic Programming: Theory, Systems, and Applications

Lee Naish (auth.) — Negation and Control in Prolog

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.) — Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Alain Colmerauer (auth.), Philippe Codognet (eds.) — Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà , Franco Turini (auth.), Antonis C. Kakas, Fariba Sadri (eds.) — Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

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

Michael Leuschel (auth.), Maurizio Proietti (eds.) — Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

I. J. Hayes, R. G. Nickson, P. A. Strooper (auth.), John Gallagher (eds.) — Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings

John Hughes (auth.), Michael Hanus (eds.) — Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Chitta Baral, Juraj Dzifcak, Luis Tari (auth.), Véronica Dahl, Ilkka Niemelä (eds.) — Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

প্রায়শই ব্যবহৃত পরিভাষা