An introduction to logic programming through Prolog

QR Code

An introduction to logic programming through Prolog

Bibliographic Details
Main Author:	Spivey, J. M. (Author)
Format:	Book
Published:	London Prentice Hall 1996
Series:	Prentice Hall International series in computer science
Subjects:	Logic programming Prolog (Computer programme language)

Similar Items

PROLOG, children and students
by: Briggs, Jonathan 1974-, et al.
Published: (1988)

Artificial intelligence and PROLOG on microcomputers
by: McAllister, J.
Published: (1987)

Prolog programming for artificial intelligence
by: Bratko, Ivan , 1946-
Published: (2012)

Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2004)

Logic programming
by: Saxton, Liza
Published: (2014)

Mathematical aspects of logic programming semantics
by: Hitzler, Pascal, et al.
Published: (2011)

Just enough programming logic and design
by: Farrell, Joyce
Published: (2013)

Computation as logic
by: Lalement, Rene
Published: (1993)

Logic and objects
by: McCabe, F. G. (Frank G.) 1953-
Published: (1992)

Logic programming & type theory
by: Singleton, Velva, et al.
Published: (2014)

Logic and its applications
by: Burke, Edmund, et al.
Published: (1996)

Artificial intelligence an engineering approach
by: Schalkoff, Robert J.
Published: (1990)

An introduction to programming and Pascal
by: Collins, William J. (William Joseph)
Published: (1984)

Pascal, an introduction to the art and science of programming
by: Savitch, Walter J. 1943-
Published: (1995)

Introduction to logic
by: Copi, Irving M.
Published: (1986)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

Artificial intelligence structures and strategies for complex problem solving
by: Luger, George F., et al.
Published: (1998)

Important concepts and tools in computer programming
by: Gann, Duane, et al.
Published: (2014)

Problem solving and structured programming with pascal
by: Holoien, Martin O. 1928-
Published: (1986)

Problem solving and structured programming in pascal
Published: (1985)

Introduction to logic design
by: Marcovitz, Alan B.
Published: (2005)

Computer architecture and logic design
by: Bartee, Thomas C.
Published: (1991)

RPG II and RPG III structured programming
by: Stern, Nancy B.
Published: (1991)

Logic an introduction
by: Churchill, Robert Paul
Published: (1990)

An introduction to philosophical logic
by: Grayling, A. C.
Published: (1997)

A concise introduction to logic
by: Hurley, Patrick J. 1942-
Published: (1984)

Introduction to Pascal and structured design
by: Dale, Nell (Nell B.), et al.
Published: (1994)

Structure and interpretation of computer programs
by: Abelson, Harold, et al.
Published: (1996)

Logo programming for the IBM PC
by: Ross, Peter
Published: (1985)

An inductive logic programming approach to statistical relational learning
by: Kersting, Kristian
Published: (2006)

Building Pascal programs an introduction to computer science.
Published: (1987)

C ++ programming with MacApp
by: Wilson, David A., et al.
Published: (1990)

Dynamic logic [electronic resource]
by: Harel, David 1950-, et al.
Published: (2000)

Programming with pascal
by: Wileman, Stanley
Published: (1987)

Pascal programming
Published: (1980)

Programming with MacApp
by: Wilson, David A., et al.
Published: (1990)

Introduction to logic design
by: Yanushkevich, Svetlana N., et al.
Published: (2008)

Programming concepts and problem solving an introduction to computer science using Pascal
by: Linz, Peter
Published: (1983)

Computer organization and assembly language programming for the VAX
by: Schneider, G. Michael, et al.
Published: (1987)

Problem solving and program design in C
by: Hanly, Jeri R., et al.