Full prolog and scheduling or-parallelism in museALI, K. A. M; KARLSSON, R.International journal of parallel programming. 1990, Vol 19, Num 6, pp 445-475, issn 0885-7458Article

Langage Prolog = Prolog languageBOIZUMAULT, Patrice.Techniques de l'ingénieur. Informatique. 2001, Vol HB3, Num H3098, pp H3098.1-H3098.10, issn 0245-9612Article

Un compilateur de Modula-2 écrit en Prolog = A nodula-2 compiler written in PrologGARRETA, Henri.1985, 220 pThesis

An external module for implementing linear tabling in prologSILVA, Claudio; ROCHA, Ricardo; LOPES, Ricardo et al.Lecture notes in computer science. 2006, pp 429-430, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Présentation du coprocesseur PROLOG/P pour SM 90 : ME 29-A = Presentation of the PROLOG/P copressors for SM 90: ME 29-ADENIS, G.1986, 20 p.Report

IMPACT : Innovative models for prolog with advanced control and tablingROCHA, Ricardo; LOPES, Ricardo; SILVA, Fernando et al.Lecture notes in computer science. 2005, pp 416-417, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 2 p.Conference Paper

Programmation logique avec contraintes = Constraint logic programmingTRILLING, Laurent.Techniques de l'ingénieur. Informatique. 1998, Vol HB3, Num H3158, pp H3158.1-H3158.8, issn 0245-9612Article

Inductive logic programming and constraint logic programmingPUGET, J.-F.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63514-9, p. 33Conference Paper

The muse approach to or-parallel prologALI, K. A. M; KARLSSON, R.International journal of parallel programming. 1990, Vol 19, Num 2, pp 129-162, issn 0885-7458Article

A new computation rule for prologKUMAR, A; MALHOTRA, V. M.Information processing letters. 1988, Vol 27, Num 5, pp 249-252, issn 0020-0190Article

Explanation-based generalisation = partial evaluationVAN HARMELEN, F; BUNDY, A; BRUYNOOGHE, M et al.Artificial intelligence. 1988, Vol 36, Num 3, pp 401-412, issn 0004-3702Article

Computer algebra and logic programmingCHAR, B.Integration (Amsterdam). 1986, Vol 4, Num 3, pp 271-274, issn 0167-9260Article

Conception et mise en œuvre d'un système de preuve pour un sous-ensemble de CCS sans transmission de valeurs = Proof system design and implementation for a CCS sub-set without value passingSORIANO, A; VOIRON, J.Rapport de recherche - IMAG. 1985, Num 530, issn 0750-7380, 49 p.Report

Integrating an answer set solver into prolog : ASP - PROLOGELKHATIB, Omar; PONTELLI, Enrico; TRAN CAO SON et al.Lecture notes in computer science. 2005, pp 399-404, issn 0302-9743, isbn 3-540-28538-5, 6 p.Conference Paper

Compiling constraint handling rules into prolog with attributed variablesHOLZBAUR, C; FRÜHWIRTH, T.Lecture notes in computer science. 1999, pp 117-133, issn 0302-9743, isbn 3-540-66540-4Conference Paper

Learning approximate consistenciesLALLOUET, Arnaud; LEGTCHENKO, Andreï; DAO, Thi-Bich-Hanh et al.Lecture notes in computer science. 2004, pp 87-106, issn 0302-9743, isbn 3-540-21834-3, 20 p.Conference Paper

The use of mixed Prolog/Fortran for battle simulationMARSH, B. D; WILLIAMS, T. M; MATHIESON, G. L et al.The Journal of the Operational Research Society. 1990, Vol 41, Num 4, pp 311-318, issn 0160-5682, 8 p.Article

Une approche linguistique pour la conception des systèmes d'informationROLLAND, C; CROIX, C.Congrès INFORSID 88. 1988, pp 333-352Conference Paper

How to invent a prolog machineKURSAWE, P.New generation computing. 1987, Vol 5, Num 1, pp 97-114, issn 0288-3635Article

A note on implementing prolog in lispSTOJANOVSKI, J.Information processing letters. 1986, Vol 23, Num 5, pp 261-264, issn 0020-0190Article

Optimierte Auswertung von Begriffsassoziationen in einer logik-orientierten Abfragesprache = Evaluation optimisée d'associations conceptulles dans le langage d'interrogation orienté logique = Optimized evaluation of conceptual associations in a logic oriented query languageBERSTCH, E.Angewandte Informatik. 1986, Num 2, pp 80-84, issn 0013-5704Article

And-or parallel prolog: a recomputation based approachGOPAL GUPTA; HERMENEGILDO, M. V; COSTA, V. S et al.New generation computing. 1993, Vol 11, Num 3-4, pp 297-321, issn 0288-3635Conference Paper

A prolog tailoring technique on an epilog tailored procedureJHI, Yoon-Chan; KIM, Ki-Chang; EBCIOGLU, Kemal et al.Lecture notes in computer science. 2001, pp 421-433, issn 0302-9743, isbn 3-540-43075-XConference Paper

optimal implementation of and-or parallel prologGUPTA, G; SANTOS COSTA, V.FGCS. Future generations computer systems. 1994, Vol 10, Num 1, pp 71-92, issn 0167-739XConference Paper

Debugging in A-prolog: A logical approachOSORIO, Mauricio; NAVARRO, Juan Antonio; ARRAZOLA, José et al.Lecture notes in computer science. 2002, pp 482-483, issn 0302-9743, isbn 3-540-43930-7, 2 p.Conference Paper