The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Prolog with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1981 (16) 1982 (36) 1983 (62) 1984 (148) 1985 (124) 1986 (178) 1987 (182) 1988 (268) 1989 (186) 1990 (201) 1991 (177) 1992 (173) 1993 (166) 1994 (148) 1995 (101) 1996 (88) 1997 (65) 1998 (71) 1999 (84) 2000 (89) 2001 (144) 2002 (98) 2003 (74) 2004 (95) 2005 (87) 2006 (78) 2007 (93) 2008 (94) 2009 (83) 2010 (44) 2011 (38) 2012 (55) 2013 (33) 2014 (26) 2015 (17) 2016 (22) 2017 (25) 2018-2019 (34) 2020 (15) 2021-2022 (21)
Publication types (Num. hits)
article(1020) book(48) incollection(75) inproceedings(2507) mastersthesis(1) phdthesis(86) proceedings(2)
Venues (Conferences, Journals, ...)
ICLP(213) Proc. IEEE(126) CoRR(101) SPLT(96) ACM SIGPLAN Notices(68) PADL(66) PLILP(64) New Gener. Comput.(58) J. Log. Program.(57) LP(53) SLP(51) INAP(48) Theory Pract. Log. Program.(48) LOPSTR(43) ACM Conference on Computer Sci...(32) CADE(31) More (+10 of total 824)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1503 occurrences of 750 keywords

Results
Found 3739 publication records. Showing 3739 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
124Joost N. Kok Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
105G. Scott Owen RT Prolog: a real time Prolog written in Ada. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Ada, Prolog
93Adil Kabbaj, Martin Janta-Polczynski From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language. Search on Bibsonomy ICCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
93Mark E. Stickel A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
89Alexander Ja. Dikovsky Prolog Semantics for Measuring Space Consumption. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
86Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue Prolog Cafe : A Prolog to Java Translator System. Search on Bibsonomy INAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
84David W. Reed, Donald W. Loveland, Bruce T. Smith The Near-Horn Approach to Disjunctive Logic Programming. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
79Randy M. Kaplan A plea for readable pleas for a readable Prolog programming style. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Prolog
79Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. Search on Bibsonomy PPoPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog, C
77Anima Gupta, Paul Tarau Logic Programming Techniques for Dynamic VRML Web Content Generation. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Internet Programming with Prolog, Dynamic VRML content, Logic Programming Tools, Prolog based Client-Server Programming, Prolog Networking, Definite Clause Grammars, Web Architectures
75Marcello Balduccini Splitting a CR-Prolog Program. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
75Jieh Hsiang, Mandayam K. Srivas A PROLOG Environment for Developing and Reasoning about Data Types. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
72Tiago Soares, Ricardo Rocha 0001, Michel Ferreira Generic Cut Actions for External Prolog Predicates. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prolog Systems Implementation, External Modules, Pruning
72Neng-Fa Zhou Parameter Passing and Control Stack Management in Prolog Implementation Revisited. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF prolog, abstract machine
72Jacques Cohen, Timothy J. Hickey Parsing and Compiling Using Prolog. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Prolog
70Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández Fuzzy Prolog: A Simple General Implementation Using CLP(R). Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fuzzy Prolog, Constraint Programming Application, Implementation of Fuzzy Prolog, Logic Programming, Modeling Uncertainty
70Vítor Santos Costa The Life of a Logic Programming System. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
70R. D. Purdy Knowledge and Tools in Building GRANDJUR 1.1. Search on Bibsonomy ICAIL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
68Gerald M. Karam Computational Improvements in Prolog Applications by Predicate Variable Pointers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF structure-oriented operations, Warren, computational improvements, Prolog applications, predicate variable pointers, clause-oriented operations, uninstantiated variables, built-in predicates, C-Prolog, symbol table dictionary, pseudo-Pascal compiler, computational complexity, data structures, data structures, PROLOG, logical implications, performance benefits
68Ricardo Lopes, Luís Fernando Castro, Vítor Santos Costa From simulation to practice: cache performance study of a Prolog system. Search on Bibsonomy MSP/ISMM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
68Szabolcs Ferenczi Concepts for a Modular and Distributed Prolog Language. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
66Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi Modeling Prolog Control. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Prolog
66Jacques Briat, M. Favre, Cláudio F. R. Geyer, Jacques Chassin de Kergommeaux Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor. Search on Bibsonomy PARLE (2) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF OPERA, OR-parallel Prolog, reconfigurable multiprocessor, distributed-memory, WAM, Supernode, scalable multiprocessor
66David Roach, Hal Berghel, John R. Talburt An interactive source commenter for Prolog programs. Search on Bibsonomy SIGDOC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
66Thom W. Frühwirth Polymorphic Type Checking with Subtypes in Prolog. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification
66M. Morioka S. Yamaguchi, T. Bandoh: Evaluation of Memory System for Integrated Prolog Processor IPP. Search on Bibsonomy ISCA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Prolog
66Giuseppe Cattaneo, Vincenzo Loia A common-LISP implementation of an extended Prolog system. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog, LISP
65Mark E. Stickel A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
63Daniel Cabeza Gras, Manuel V. Hermenegildo A New Module System for Prolog. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation
63Yasusi Kanada, Keiji Kojima, Masahiro Sugaya Vectorization techniques for prolog. Search on Bibsonomy ICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog, Prolog
63G. Scott Owen, Taylor Binkley KC expert - the development of an ICAI system for chemistry. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
62Rabbe Fogelholm Exeter Prolog - some thoughts on Prolog design by a LISP user. Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
61Stefano Ceri, Georg Gottlob, Gio Wiederhold Efficient Database Access from Prolog. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Prolog interpreter, memory-resident database, Prolog facts, subsumption rests, logic programming, relational database, relational databases, Prolog, pattern matching, program interpreters, secondary storage
61Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001 Towards a jitting VM for prolog execution. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF logic programming, interpreters, partial evaluation, jit
61Neng-Fa Zhou A Register-Free Abstract Prolog Machine with Jumbo Instructions. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
61Benjamin Z. Li A pi-Calculus Specification of Prolog. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
61Donna M. Kaminski A Knowledge Base Approach to Learning to Program in Prolog. Search on Bibsonomy ICCAL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
59Yannis E. Ioannidis, Manolis M. Tsangaris The Design, Implementation, and Performance Evaluation of BERMUDA. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF BERMUDA, Britton-Lee Intelligent Database Machine, IDM-500, multiple concurrent Prolog processes, Prolog program semantics, architectural issues, single-user benchmarks, stand-alone Prolog, stand-alone IDM, multiuser benchmarks, performance evaluation, performance evaluation, user interfaces, logic programming, logic programming, interface, PROLOG, Prolog, Unix, Unix, deductive databases, deductive database, costs, system integration, software cost estimation, loosely coupled system
59Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar 0001, Rasool Jalili Vulnerability Analysis in VGBPS Using Prolog. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Protection System, Safety Problem, Prolog, Vulnerability Analysis
59José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Optimization, Compilation, Prolog, Program Transformation, Abstract Machines
59Adil Kabbaj, Claude Frasson, Marc Kaltenbach, Jean-Yves Djamen A Conceptual and Contextual Object-Oriented Logic Programming: the PROLOG++ Language. Search on Bibsonomy ICCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Prolog extension, CG theory, conceptual programming, contextual programming, high-order logic programming, object oriented programming
59Jian Wang, Jungsoon P. Yoo, Thomas J. Cheatham Efficient Reordering of C-PROLOG. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Prolog
59Robert McLaughlin A plea for a readable Prolog programming style. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
59Joanne L. Boyd, Gerald M. Karam Prolog in "C". Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1990 DBLP  DOI  BibTeX  RDF ‘C’, Prolog, translation, declarative programming, procedure programming
59Balkrishna Ramkumar, Laxmikant V. Kalé A Chare Kernel Implementation of a Parallel Prolog Compiler. Search on Bibsonomy PPoPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
59Kim Marriott, Harald Søndergaard On prolog and the occur check problem. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Prolog
59Jonas Barklund Efficient interpretation of Prolog programs. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Prolog
56Veroniek Dumortier, Maurice Bruynooghe On the Automatic Generation of Events in Delta Prolog. Search on Bibsonomy PLILP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Delta Prolog, distributed Prolog, abstract interpretation
56Susana Muñoz-Hernández, José Manuél Gómez-Pérez Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains. Search on Bibsonomy OTM Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56Andrew Cheese Multi-Moded Relations in Parlog. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF PARLOG, PARLOG
56Youji Kohda, Jiro Tanaka Deriving a Compilation Method for Parallel Logic Languages. Search on Bibsonomy LP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
54Timo Niemi, Kalervo Järvelin Prolog-Based Meta-Rules For Relational Database Representation and Manipulation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Prolog-based meta-rules, relational database representation, Prolog-based experimental system, well-defined environment, relational databases, knowledge based systems, PROLOG, query optimization, database theory, deductive databases, deductive databases, database design, theoretical foundations, data restructuring
54Jesús Manuel Almendros-Jiménez An Encoding of XQuery in Prolog. Search on Bibsonomy XSym The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
54Antonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. Search on Bibsonomy SETN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes Demand-Driven Indexing of Prolog Clauses. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications. Search on Bibsonomy INAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
54Yoon-chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee A Prolog Tailoring Technique on an Epilog Tailored Procedure. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
54Luís Fernando Castro, Vítor Santos Costa Understanding Memory Management in Prolog Systems. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
54Erwan Jahier, Mireille Ducassé, Olivier Ridoux Specifying Prolog Trace Models with a Continuation Semantics. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
54Xining Li Program Sharing: A New Implementation Approach for Prolog. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
54Micha Meier, Joachim Schimpf An Architecture for Prolog Extensions. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
54Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi CS-Prolog: A Generalized Unification Based Constraint Solver. Search on Bibsonomy LP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
52Atef Suleiman, John Miller Implementing Thread Cancellation in Multithreaded Prolog Systems. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency, Prolog, threads
52Maurizio Cimadamore, Mirko Viroli Integrating Java and Prolog through generic methods and type inference. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF java, prolog, generics, wildcards, multiparadigm
52Michael R. Wick, Daniel E. Stevenson On using scheme to introduce prolog. Search on Bibsonomy SIGCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF prolog, programming languages, computer science education, scheme, teaching strategy
52Hai Wan, Yunxiang Zheng, Yin Chen 0005, Lei Li 0022 Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog. Search on Bibsonomy SPW/ProSim The full citation details ... 2006 DBLP  DOI  BibTeX  RDF A-Prolog, Business process, Requirements analysis, Meta-model
52José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo Improved Compilation of Prolog to C Using Moded Types and Determinism Information. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Prolog, C, optimizing compilation, global analysis
52Juan José Moreno-Navarro, Susana Muñoz-Hernández Soundness and Completeness of an "Efficient" Negation for Prolog. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Negation in Prolog, LP and nonmonotonic reasoning, Constructive Negation
52Qinan Zhou, Paul Tarau Garbage Collection Algorithms for Java-Based Prolog Engines. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Implementation of Prolog, Garbage collection algorithms in the context of multiple memory managers
52Fevzi Belli, Oliver Jack Implementation-Based Analysis and Testing of Prolog Programs. Search on Bibsonomy ISSTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Prolog
52David Roach, Hal Berghel The Physiology of PROLOG Expert System Inference Engine. Search on Bibsonomy SIGSMALL/PC Symposium The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
52Moon-Chuen Lee An Augmented Prolog Programming Environment for Tutoring Applications. Search on Bibsonomy IEA/AIE (Vol. 2) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
52Hal Berghel, Richard Rankin, Sanjiv K. Bhatia MS-DOS Prolog implementations revisited. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog, MS-DOS
52Jukka Paakki A note on the speed of Prolog. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog
52Carolyn R. Watters, Michael A. Shepherd, W. Robertson, K. H. Lee An expert system for bibliographic retrieval using Prolog. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Prolog
52Gaetano Borriello, Andrew R. Cherenson, Peter B. Danzig, Michael N. Nelson RISCs versus CISCs for Prolog: A Case Study. Search on Bibsonomy ASPLOS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Prolog, RISC, CISC
51Daniel Diaz, Philippe Codognet GNU Prolog: Beyond Compiling Prolog to C. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
51Pascale Louvet, Olivier Ridoux Parametric Polymorphism for Typed Prolog and lambda-Prolog. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF second-order -Calculus, Logic programming, polymorphism, typing
51Alberto Martelli, Gianfranco Rossi Enhancing Prolog to Support Prolog Programming Environments. Search on Bibsonomy ESOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
51Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System. Search on Bibsonomy LP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
50M. Howard Williams, P. A. Massey, Jim A. Crammond Benchmarking Prolog for Database Applications. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50Kotagiri Ramamohanarao, John Shepherd 0001, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart The NU-Prolog Deductive Database System. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50William G. Imlah, Bart Demoen A Flexible Prolog-Based Lexical Database System. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50S. Todd An Interface from Prolog to a Binary Relational Database. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50T. Irving A Generalized Interface Between Prolog and Relational Databases. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50Paul Singleton, C. D. Farris Software Configuration Management Using Prolog. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50David S. Moffat Modular Commitment in Persistent Prolog. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50F. Mouta, M. Howard Williams, J. C. Neves Implementing Query Languages in Prolog. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50Michael Freeston Grid Files for Efficient Prolog Clause Access. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50Jorge B. Bocca, Philip J. Pearson On Prolog DBMS Connections: A Step Forward from Educe. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50D. I. Howells, Nick J. Fiddian, W. A. Gray A Source-to-Source Meta-Translation System for Database Query Languages - Implementation in Prolog. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50Raf Venken, Anne Mulkers The Interaction Between BIM-Prolog and Relational Databases. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50Robert J. Lucas, G. A. Le Vine A Prolog-Relational Database Interface. Search on Bibsonomy Prolog and Databases The full citation details ... 1988 DBLP  BibTeX  RDF
50Katsuhiko Nakamura Associative Evaluation of Prolog Programs. Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
50Martin Nilsson 0001 The World's Shortest Prolog Interpreter? Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
50Kenneth M. Kahn, Mats Carlsson How to Implement Prolog on a LISP Machine. Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
50Michael J. Wise EPILOG: Re-interpreting and Extending Prolog for a Multiprocessor Environment. Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
50Richard Ennals, Jonathan Briggs, Derek R. Brough What the naive user wants from Prolog. Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
50Ivan Futó, János Szeredi System Simulation and Cooperative Problem-solving on a Prolog Basis. Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
50Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 3739 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license