Logic programming and its applications /

Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
Published: (1989)

Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings /
Published: (1993)

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings /
Published: (1991)

Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /
Published: (1992)

Logic programming : a classified bibliography /
by: Balbin, Isaac
Published: (1985)

Logic programming languages : constraints, functions, and objects /
Published: (1993)

Logic, programming, and Prolog /
by: Nilsson, Ulf, 1961-
Published: (1990)

Logic programming : proceedings of the 1999 International Conference on Logic Programming /
Published: (2000)

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming /
Published: (1997)

Logic programming : proceedings of the twelfth International Conference on Logic Programming /
Published: (1995)

Logic programming : proceedings of the Tenth International Conference on Logic Programming /
Published: (1993)

Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /
Published: (1996)

From logic programming to Prolog /
by: Apt, Krzysztof R., 1949-
Published: (1997)

Parallelism and implementation of logic and constraint logic programming /
Published: (1999)

Parallel logic programming in PARLOG : the language and its implementation /
by: Gregory, Steve
Published: (1987)

Logic programming : proceedings of the 1995 international symposium /
Published: (1995)

Logic programming : proceedings of the 1997 International Symposium /
Published: (1997)

Equational logic as a programming language /
by: O'Donnell, Michael J., 1952-
Published: (1985)

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

Parallel logic programming techniques /
by: Taylor, Stephen, 1956 October 13-
Published: (1989)

Parallel execution of logic programs /
by: Conery, John S.
Published: (1987)

8080 programming for logic design /
by: Osborne, Adam
Published: (1976)

Non-deterministic concurrent logic programming in Pandora /
by: Bahgat, Reem
Published: (1993)

Logics of specification languages /
Published: (2008)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 /
Published: (1985)

The logic of partial information /
by: Nait Abdallah, Areski, 1950-
Published: (1995)

Semantics and logics of computation /
Published: (1997)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Distributed constraint logic programming /
by: Leung, Ho-Fung
Published: (1993)

A programming logic : with an introduction to the PL/CV verifier /
by: Constable, R. L. (Robert L.)
Published: (1978)

Logic programming languages : constraints, functions, and objects /
Published: (1993)

Logical problem solving before the flowchart with C++ and Visual Basic applications /
by: Lamey, Robert
Published: (2002)

Foundations of fuzzy logic and Semantic Web languages /
by: Straccia, Umberto
Published: (2014)

Logic and specification : extending VDM-SL for advanced formal specification /
by: Middelburg, Cornelis A.
Published: (1993)

The journal of logic programming.

Parallel logic programming /
by: Tick, Evan, 1959-
Published: (1991)