Inleiding Prolog / Jean B. Rogers ; [vert. uit het Engels door LINE UP tekstprodukties]PROLOG : een taal voor op kennis gebaseerde systemen / J. ChudáčekWerken met Turbo Prolog / Phillip Robinson ; [vert. uit het Engels door Beatrijs van Westerop]Programmeren in Prolog / Henk SchotelProlog, een inleiding / W.D. Burnham, A.R. Hall ; [vert. uit het Engels door J. Monderman ... et al.]Memory performance of Prolog architectures / by Evan TickProlog : beschrijving van de standaard / W.F. Clocksin, C.S. Mellish ; [vert. uit het Engels door: Pro Lingua, Computer Integrated Translation and Editing Services, Amsterdam]Turbo prolog / Kasper Boon, Rik de BoerEquivalence of an operational and a denotational semantics for a Prolog-like language with Cut / E.P. de VinkInleiding in Prolog / F.G. Hilgevoord, H.K.U. WindTermherschrijfsystemen in Prolog / Freek WiedijkTowards shorter algebraic specifications : a simple language definition and its compilation to Prolog / J. Heering, P. KlintContinuation semantics for PROLOG with cut / A. de Bruin, E.P. de VinkTruth maintenance systems and their implementation in Prolog / Huang GuoxingRetractions in comparing Prolog semantics / A. de Bruin, E.P. de VinkMOKUM (Prolog) Kernel : user's manual / M.V. Gamito Dignum, E.G. Keizer, R.P. van de RietA high performance architecture for PROLOG / by T.P. DobryOptimistic and-parallelism in Prolog / Johannes Roeland Boudewijn TebraQualitative economics in Prolog / R. Berndsen and H. DanielsA simple concept learner and its implementation / Peter A. FlachAn analysis of loop checking mechanisms for logic programs / R.N. Bol, K.R. Apt, J.W. KlopCUT implementation in PROLOG / Pawel KruszyńskiGeneralizing completeness results for loop checks / Roland N. BolProving termination of general Prolog programs / K.R. Apt, 3001Studies in pure Prolog : termination / K.R. Apt, D. PedreschiLoop checking in logic programming / Roland Nicolaas BolLogic programming : new frontiers / ed. by D.R. BroughProfGlot : a multi-lingual natural language processor / Simon C. Dik, Peter KahrelNederlandse functionele grammatica in Prolog / Simon C. DikA theory of first-order built-in's of Prolog / K.R. Apt, E. Marchiori, C. PalamidessiOn the occur-check free prolog programs / K.R. Apt, A. PellegriniA new definition of SLDNF-resolution / K.R. Apt, H.C. DoetsReasoning about termination of Prolog programs / Krzysztof R. Apt, Dino PedreschiProving run-time properties of general programs w.r.t. constructive negation / E. MarchioriA declarative approach for first-order built-in's of Prolog / K.R. Apt, E. Marchiori, C. PalamidessiModular termination proofs for logic and pure Prolog programs / K.R. Apt, D. PedreschiReasoning about Prolog programs : from modes through types to assertions / K.R. Apt, E. MarchioriDeclarative programming in Prolog / K.R. AptVLSI prolog processor, design and methodology : a case study in high level language processor design / Pierluigi Civera ... [et al.]Program verification and Prolog / K.R. Apt