Logic programming (Computer science)

Logic in Computer Science: Modelling and Reasoning about Systems

Mark Ryan, Michael Huth

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth

Logic Programming '89: proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

K. Furukawa, H. Tanaka, T. Fujisaki eds.

Foundations of Disjunctive Logic Programming

Jorge Lobo, Jack Minker, Arcot Rajasekar.

The Transparent Prolog machine: visualizing logic problems

Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine.

Teorii͡a︡ vychisleniĭ i i͡a︡zyki spet͡s︡ifikat͡s︡iĭ: sbornik nauchnykh trudov

nauchnye redaktory, I͡U︡.L. Ershov, S.S. Goncharov ; [redakt͡s︡ionnai͡a︡ kollegii͡a︡, S.S. Goncharov ... N.G. Zagoruĭko (glavnyĭ redaktor) ... et al.].

Teorii͡a︡ vychislimosti i i͡a︡zyki spet͡s︡ifikat͡s︡iĭ: sbornik nauchnykh trudov

nauchnye redaktory, I͡U︡.L. Ershov, S.S. Goncharov.

DLP: a language for distributed logic programming : design, semantics, and implementation

Anton Eliëns.

Dlp: A Language for Distributed Logic Programming: Design, Semantics and Implementation (Wiley Series in Parallel Computing)

Anton Eliens

Apparatno-programmnye sredstva prot͡sessorov logicheskogo vyvoda

V.A. Vishni͡akov, D.I͡U. Bulanzhe, O.V. German.