DLP : a language for distributed logic programming : design, semantics and implementation / Antonius Petrus Wilhelmus EliënsThe logic programming Tutor / Jocelyn PaineLogic programming : new frontiers / ed. by D.R. BroughLogisch programmeren / Open universiteit, HeerlenLogica en informatica / H.P. van DitmarschConstraints and negations in logic programming / Catholijntje Maria JonkerEquational proofs in tableaux and logic programming / Eric Andreas de KogelMeta-logics for logic programming / Marianne Baukje KalsbeekAn analysis of refinement operators in inductive logic programming / Patrick Ronald Jaap van der LaagAdvances in inductive logic programming / ed. by L. De RaedtSimple improvements of a simple solution for inverting resolution / J.C. Bioch, P.R.J. van der LaagA most general refinement operator for reduced sentences / P.R.J. van der LaagConstructing refinement operators by decomposing logical implication / S.-H. Nienhuys-Cheng, P.R.J. van der Laag, L.W.N. van der TorrePrinciples of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. SinachopoulosContributions to Inductive Logic Programming / R.M. de WolfLogic programming and non-monotonic reasoning / Franciscus Johannes Maria TeusinkA bottom-up approach to multiple-level logic synthesis for look-up table based FPGAs / Franciscus Adrianus Maria VolfSubstitutions and refinement operators for PCNF / S.H. Nienhuys-Cheng, W. van Laer, L. de RaedtThe journal of logic programmingProgram algebra for flow charts / J.A. Bergstra & M.E. LootsSemantics of input-consuming programs / A. Bossi, S. Etalle and S. RossiThe (lazy) functional side of logic programming / S. Etalle and J. MountjoyProperties of input-consuming derivations / Analisa Bossi, Sandro Etalle, Sabina RossiBenelog 1999 : proceedings of the eleventh Benelux workshop on logic programming / Sandro Etalle (ed.)Generalizing refinement operators to learn prenex conjunctive normal forms / Shan-Hwei Nienhuys-Cheng ... [et al.]Reasoning about Java programs in higher order logic using PVS and Isabelle / Marieke HuismanUsing ILP to learn local linguistic structures / Stasinos Themistokleous KonstantopoulosUsing ILP to learn local linguistic structures / Stasinos Themistokleous KonstantopoulosHandbook of the history of logic / Dov M. GabbayLogic programming for knowledge-intensive interactive applications / Jan WielemakerLogic programming for knowledge-intensive interactive applications / Jan WielemakerConstraint logic programming using ECLiPSe / Krzysztof R. Apt, Mark WallaceNatural language understanding and logic programming ... : proceedings of the ... International Workshop on Natural Language Understanding and Logic ProgrammingParallel execution of logic programs / by John S. Conery