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)

An object-oriented approach to programming logic and design
by: Farrell, Joyce
Published: (2006)

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)

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

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

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

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

Pascal programming
Published: (1985)

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

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

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

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)

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

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

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

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

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

Pascal programming
Published: (1980)

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

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

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

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

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

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

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

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