AN ALGORITHM FOR INTELLIGENT BACKTRACKINGSATO T.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 147; PP. 88-98; BIBL. 5 REF.Conference Paper

Computer Models of Phonological Theories. Part 1RENNISON, J.Prague bulletin of mathematical linguistics. 1990, Num 54, pp 37-56, issn 0032-6585Article

DURAL: AN EXTENDED PROLOG LANGUAGEGOTO S.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 147; PP. 73-87; BIBL. 12 REF.Conference Paper

EPILOG=PROLOG+DATA FLOW: ARGUMENT FOR COMBINING PROLOG WITH A DATA DRIVEN MECHANISMWISE MJ.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 12; PP. 80-86; BIBL. 13 REF.Article

GEOM: A PROLOG GEOMETRY THEOREM PROVERCOELHO H; MONIZ PEREIRA L.1979; LAB. NACION. ENGRIA CIV., MEM.; PRT; DA. 1979; NO 525; 70 P.; ABS. ENG; BIBL. 14 REF.Serial Issue

Linguistic Information Processing Using the Functional Grammar ProcessorWEBSTER, J. J.Lacus Forum (The...). 1990, Num 17, pp 49-69Conference Paper

Parsing with Situation SemanticsPOLZIN, T; RIESER, H.Nordic journal of linguistics. 1991, Vol 14, Num 2, pp 141-189, issn 0332-5865, spécArticle

Expert systems: an alternative paradigmCOOMBS, M; ALTY, J.International journal of man-machine studies. 1984, Vol 20, Num 1, pp 21-43, issn 0020-7373Article

Computer Models of Phonological Theories Part 2RENNISON, J.Prague bulletin of mathematical linguistics. 1991, Num 55, pp 5-39, issn 0032-6585Article

A New Version of the Machine Translation System LMTMCCORD, M. C.Literary and linguistic computing. 1989, Vol 4, Num 3, pp 218-229, issn 0268-1145Article

Anaphora Resolution in Slot GrammarLAPPIN, S; MCGORD, M.Computational Linguistics. 1990, Vol 16, Num 4, pp 197-212, issn 0362-613XArticle

Expert systems and automatic component assembling in CADJOZEFOWICZ, W; URBANSKI, A.IEE conference publication. 1984, Num 243, pp 30-35, issn 0537-9989Conference Paper

Ecriture d'un compilateur «réel» en PROLOG = «Real» compiler writing in PROLOGMONIN, J.-F.1984, 20 p.Report

BEYOND PROLOG: SOFTWARE SPECIFICATION BY GRAMMARWILSON WW.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 9; PP. 34-43; BIBL. 9 REF.Article

DIALOGUES EN FRANCAIS AVEC UN ORDINATEURSABATIER PAUL.1980; ; FRA; DA. 1980; 115 P.; 21 CM; BIBL. 6 P.; TH. 3E CYCLE: INTELL. ARTIF./AIX-MARSEILLE 2/1980Thesis

RELATIONAL PROGRAMMING ILLUSTRATED BY A PROGRAM FOR THE GAME OF MASTERMINDVAN EMDEN MH.1979; C.L. AND C.L.; HUN; DA. 1979; VOL. 13; PP. 131-150; BIBL. 14 REF.Article

PC-PROLOG for process control applicationsSZUBA, T.Angewandte Informatik. 1984, Num 4, pp 164-171, issn 0013-5704Article

Sentential Semantics for Propositional AttitudesHAAS, A. R.Computational Linguistics. 1990, Vol 16, Num 4, pp 213-233, issn 0362-613XArticle

PARALLEL INTERPRETATION OF LOGIC PROGRAMSCONERY JS; KIBLER DF.1981; CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE/1981/PORTSMOUTH NH; USA; NEW YORK: ACM; DA. 1981; PP. 163-170; BIBL. 12 REF.Conference Paper

LOGIC PROGRAMMING AND COMPILER WRITINGWARREN DHD.1980; SOFTWARE-PRACT. EXPER.; GBR; DA. 1980; VOL. 10; NO 2; PP. 97-125; BIBL. 10 REF.Article

ETUDES ET ALGORITHMES LIES A UNE NOUVELLE STRUCTURE DE DONNEES EN T.A.: LES E-GRAPHES = STUDIES AND ALGORITHMS LINKED TO A NEW STRUCTURE OF DATA IN A.T. (AUTOMATIC TRANSLATION): E-GRAPHSCLEMENTE SALAZAR MARCO ANTONIO.1982; ; FRA; DA. 1982; 222 P.; 21 CM; BIBL. 7 P.; TH. DOCT.-ING.: INFORM./GRENOBLE 1/1982Thesis

FAUT-IL INVENTER UNE NOUVELLE INFORMATIQUE POUR LA BUREAUTIQUE.ROHMER J.1982; ASSOCIATION FRANCAISE POUR LA CYBERNETIQUE ECONOMIQUE ET TECHNIQUE-SICOB BUREAUTIQUE. CONGRES/1982-05-11/PARIS; FRA; PARIS; AFCET; DA. 1982; PP. 55-64; ABS. ENGConference Paper

PROLOG - THE LANGUAGE AND ITS IMPLEMENTATION COMPARED WITH LISP.WARREN DHD; PEREIRA LM.1977; SIGPLAN NOT.; U.S.A.; DA. 1977; VOL. 12; NO 8; PP. 109-115; BIBL. 1/2 P.; (SYMP. ARTIF. INTELL. PROGRAM. LANG. PROC.; ROCHESTER, N.Y.; 1977)Conference Paper

Analysis and restructuring of concurrent systems using prologHEATH, F. G; FOULK, P. W; LI, D. Y et al.IEE proceedings. Part E. Computers and digital techniques. 1984, Vol 131, Num 5, pp 169-176, issn 0143-7062Article

Fixture design using prolog: an expert systemMARKUS, A; MARKUSZ, Z; FARKAS, J et al.Robotics and computer-integrated manufacturing. 1984, Vol 1, Num 2, pp 167-172Article