Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Yannis E. Ioannidis, Manolis M. Tsangaris	The Design, Implementation, and Performance Evaluation of BERMUDA.	IEEE Trans. Knowl. Data Eng.	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
5	Timo Niemi, Kalervo Järvelin	Prolog-Based Meta-Rules For Relational Database Representation and Manipulation.	IEEE Trans. Software Eng.	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
5	Gerald M. Karam	Computational Improvements in Prolog Applications by Predicate Variable Pointers.	IEEE Trans. Software Eng.	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
5	Stefano Ceri, Georg Gottlob, Gio Wiederhold	Efficient Database Access from Prolog.	IEEE Trans. Software Eng.	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
4	Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández	Fuzzy Prolog: A Simple General Implementation Using CLP(R).	LPAR	2002	DBLP DOI BibTeX RDF	Fuzzy Prolog, Constraint Programming Application, Implementation of Fuzzy Prolog, Logic Programming, Modeling Uncertainty
4	Anima Gupta, Paul Tarau	Logic Programming Techniques for Dynamic VRML Web Content Generation.	PADL	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
4	Daniel Cabeza Gras, Manuel V. Hermenegildo	A New Module System for Prolog.	Computational Logic	2000	DBLP DOI BibTeX RDF	modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation
4	Bart Demoen, Geert Engels, Paul Tarau	Segment order preserving copying garbage collection for WAM based Prolog.	SAC	1996	DBLP DOI BibTeX RDF	WAM based Prolog implementation, memory management of logic programming languages, segment order preserving copying garbage collection, Prolog, Prolog
4	Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo	&ACE: a high-performance parallel Prolog system. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	parallel Prolog system, parallel symbolic computing, Independent And-parallelism, logic programming, PROLOG, shared memory multiprocessor, shared memory systems, symbol manipulation, Or-parallelism, ACE
4	Paul Tarau, Bart Demoen, Koenraad De Bosschere	The power of partial tanslation: an experiment with the C-ification of binary Prolog.	SAC	1995	DBLP DOI BibTeX RDF	BinWAM, compilation of binary prolog, programming language translation techniques, prolog to C translation, Prolog, C, WAM
4	Péter Kacsuk	Dataflow model for handling cut in the LOGFLOW parallel prolog machine.	PDP	1995	DBLP DOI BibTeX RDF	parallel prolog machine, Logicflow Model, Generalized Dataflow Model, GDM, node types, logic programming, logic programs, PROLOG, distributed memory systems, distributed memory, CUT, data flow computing
4	Krzysztof R. Apt, Alessandro Pellegrini	On the Occur-Check-Free Prolog Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm
4	Baudouin Le Charlier, Pascal Van Hentenryck	Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	fixpoint algorithm, PROLOG, Prolog, abstract interpretation
4	Daniel Hoffman, Paul A. Strooper	Automated Module Testing in Prolog.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs
4	Yoheved Dotan, Benjamin Arazi	Using Flat Concurrent Prolog in System Modeling.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	flat concurrent Prolog, AND components, FCP, Petri net methods, reduction process, free competition, conflictingenabled transitions, metaprogramming technique, parallel programming, Petri nets, Petri nets, parallelism, synchronization, logic programming, virtual machines, PROLOG, parallel systems, system modeling, data flow, structural analysis, structured programming, shared variables, guarded commands, indeterminacy
4	Saumya K. Debray, David Scott Warren	Towards Banishing the Cut from Prolog.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time
4	Veroniek Dumortier, Maurice Bruynooghe	On the Automatic Generation of Events in Delta Prolog.	PLILP	1990	DBLP DOI BibTeX RDF	Delta Prolog, distributed Prolog, abstract interpretation
4	Joost N. Kok	Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog.	REX Workshop	1989	DBLP DOI BibTeX RDF	Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
4	Antonio L. Furtado	Towards functional programming in Prolog.	SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
4	Jiro Naganuma, Takeshi Ogura, Shin-Ichiro Yamada, Takashi Kimura	High-Speed CAM-Based Architecture for a Prolog Machine (ASCA).	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	high-speed Prolog machine, Prolog execution performance, CAM-based backtracking scheme, CAM-based backtracking, garbage collection function, inference depth, 100 KLIPS, deterministic append program, performance evaluation, logic programming, Prolog, storage management, content addressable memory, content-addressable storage, semantic information
4	Yasusi Kanada, Keiji Kojima, Masahiro Sugaya	Vectorization techniques for prolog.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
4	Hong Xia, Wolfgang K. Giloi	A hybrid scheme for detecting AND-parallelism in prolog programs.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
4	John Najarian	Modeling in Prolog.	SIGCSE	1988	DBLP DOI BibTeX RDF	Prolog, Prolog, Prolog
4	Wei Si Jiang, William G. Wee	Commonsense reasoning in Prolog.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Prolog, Prolog
3	Atef Suleiman, John Miller	Implementing Thread Cancellation in Multithreaded Prolog Systems.	PADL	2009	DBLP DOI BibTeX RDF	concurrency, Prolog, threads
3	Jonathan Mohr	Two novel prolog assignments.	ITiCSE	2009	DBLP DOI BibTeX RDF	prolog, programming languages, assignments
3	Pascual Julián Iranzo, Clemente Rubio-Manzano	A Similarity-Based WAM for Bousi~Prolog.	IWANN	2009	DBLP DOI BibTeX RDF	Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming
3	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	Test frame updating in CPM testing of Prolog programs.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	CPM testing, Prolog programs, Call patterns semantics, Test frame reduction, Test frame refinement
3	Maurizio Cimadamore, Mirko Viroli	Integrating Java and Prolog through generic methods and type inference.	SAC	2008	DBLP DOI BibTeX RDF	java, prolog, generics, wildcards, multiparadigm
3	Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci	The architecture and design of a malleable object-oriented prolog engine.	SAC	2008	DBLP DOI BibTeX RDF	prolog, finite state machine, object-oriented design
3	Athanasios K. Tsadiras	A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive Maps.	SETN	2008	DBLP DOI BibTeX RDF	Simulation, Predictions, Prolog, Decision Making, Fuzzy Cognitive Maps
3	Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili	Vulnerability Analysis in VGBPS Using Prolog.	FSEN	2007	DBLP DOI BibTeX RDF	Protection System, Safety Problem, Prolog, Vulnerability Analysis
3	Jirí Vyskocil, Petr Stepánek	Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.	MICAI	2007	DBLP DOI BibTeX RDF	unfold/fold transformation, homeomorphic embedding, logic programming, prolog, partial deduction
3	Maurizio Cimadamore, Mirko Viroli	A Prolog-oriented extension of Java programming based on generics and annotations.	PPPJ	2007	DBLP DOI BibTeX RDF	Java, Prolog, multiparadigm, Java generics
3	Tiago Soares, Ricardo Rocha, Michel Ferreira	Generic Cut Actions for External Prolog Predicates.	PADL	2006	DBLP DOI BibTeX RDF	Prolog Systems Implementation, External Modules, Pruning
3	Zsolt Nagy, Gergely Lukácsy, Péter Szeredi	Translating Description Logic Queries to Prolog.	PADL	2006	DBLP DOI BibTeX RDF	Instance retrieval, Prolog, Description Logics, Reasoning, Query-plan
3	Soyoung Kwon	A parsing algorithm for Korean implemented in Prolog.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	unification-based grammar, Prolog, parsing, dependency grammar
3	Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li	Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog.	SPW/ProSim	2006	DBLP DOI BibTeX RDF	A-Prolog, Business process, Meta-model, Requirements analysis
3	José F. Morales, Manuel Carro, Manuel V. Hermenegildo	Towards Description and Optimization of Abstract Machines in an Extension of Prolog.	LOPSTR	2006	DBLP DOI BibTeX RDF	Optimization, Compilation, Prolog, Program Transformation, Abstract Machines
3	Michael R. Wick, Daniel E. Stevenson	On using scheme to introduce prolog.	SIGCSE	2006	DBLP DOI BibTeX RDF	prolog, programming languages, computer science education, scheme, teaching strategy
3	José F. Morales, Manuel Carro, Manuel V. Hermenegildo	Improved Compilation of Prolog to C Using Moded Types and Determinism Information.	PADL	2004	DBLP DOI BibTeX RDF	Prolog, C, optimizing compilation, global analysis
3	Juan José Moreno-Navarro, Susana Muñoz-Hernández	Soundness and Completeness of an "Efficient" Negation for Prolog.	JELIA	2004	DBLP DOI BibTeX RDF	Negation in Prolog, LP and nonmonotonic reasoning, Constructive Negation
3	Berndt Farwer, Michael Leuschel	Model checking object petri nets in prolog.	PPDP	2004	DBLP DOI BibTeX RDF	model checking, compilation, animation, prolog, object petri nets
3	Qinan Zhou, Paul Tarau	Garbage Collection Algorithms for Java-Based Prolog Engines.	PADL	2003	DBLP DOI BibTeX RDF	Implementation of Prolog, Garbage collection algorithms in the context of multiple memory managers
3	Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo	Parallel execution of prolog programs: a survey.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	parallelism, logic programming, prolog, constraint programming, Automatic parallelization
3	Nicos Angelopoulos, James Cussens	Prolog Issues and Experimental Results of an MCMC Algorithm.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
3	Ralf Hinze	Deriving backtracking monad transformers.	ICFP	2000	DBLP DOI BibTeX RDF	Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
3	Marisa A. Sanchez, Juan Carlos Augusto	Testing an Implementation of a Temporal Logic Language.	SCCC	2000	DBLP DOI BibTeX RDF	temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
3	Gabriella Kókai, Jörg Nilson, Christian Niss	GIDTS: A Graphical Programming Environment for Prolog.	PASTE	1999	DBLP DOI BibTeX RDF	Prolog
3	Fatima Z. Mansouri, Cleveland A. Gibbon, Colin A. Higgins	PRAM: prolog automatic marker.	ITiCSE	1998	DBLP DOI BibTeX RDF	complexity, education, testing, metrics, Prolog, correctness, style, automatic marking
3	Bart Demoen, Konstantinos F. Sagonas	Memory Management for Prolog with Tabling.	ISMM	1998	DBLP DOI BibTeX RDF	Prolog
3	Neng-Fa Zhou	Parameter Passing and Control Stack Management in Prolog Implementation Revisited.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	prolog, abstract machine
3	Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil	Multilanguage Interoperability in Distributed Systems.	ICSE	1996	DBLP BibTeX RDF	Ada client program, Arcadia software architecture, C language server, Q system, multilanguage interoperability, multilingual heterogeneous component-based software systems, programming language support systems, Java, performance, distributed systems, reliability, C++, PROLOG, Prolog, conceptual model, software reliability, LISP, Lisp, open systems, object-oriented languages, portability, client-server systems, software portability, C language, Tcl, communication mechanism
3	Pavol Návrat, Mária Bieliková	Representing Calendrical Algorithms and Data in Prolog and Prolog III.	SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Prolog
3	Philip J. Morrow, Danny Crookes	Using Prolog to implement a compiler for a parallel image processing language. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	parallel image processing language, BNF syntax definition, image processing, compiler, parallel architectures, parallel architectures, PROLOG, programming languages, program compilers, parallel languages, software portability, software portability, abstract model, implementation language
3	Jordi Tubella, Antonio González	Exploiting path parallelism in logic programming.	PDP	1995	DBLP DOI BibTeX RDF	path parallelism, partial breadth-first search, SLD-tree, SPMD architecture, non-deterministic programs, parallel programming, logic programming, logic programming, PROLOG, Prolog, data parallelism, Multipath, execution model
3	Anne Mulkers, William H. Winsborough, Maurice Bruynooghe	Live-Structure Dataflow Analysis for Prolog.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness
3	Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier	Type Analysis of Prolog Using Type Graphs.	PLDI	1994	DBLP DOI BibTeX RDF	Prolog
3	Isambo Karali, Constantin Halatsis	Abstract data type support in Prolog and its relation to parallelism.	SAC	1994	DBLP DOI BibTeX RDF	preprocessor based systems, Prolog, Prolog, abstract data types, data-parallelism, state
3	Adil Kabbaj, Claude Frasson, Marc Kaltenbach, Jean-Yves Djamen	A Conceptual and Contextual Object-Oriented Logic Programming: the PROLOG++ Language.	ICCS	1994	DBLP DOI BibTeX RDF	Prolog extension, CG theory, conceptual programming, contextual programming, high-order logic programming, object oriented programming
3	Fevzi Belli, Oliver Jack	Implementation-Based Analysis and Testing of Prolog Programs.	ISSTA	1993	DBLP DOI BibTeX RDF	Prolog
3	Baudouin Le Charlier, Pascal Van Hentenryck	Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop.	PEPM	1993	DBLP DOI BibTeX RDF	Prolog
3	Jian Wang, Jungsoon P. Yoo, Thomas J. Cheatham	Efficient Reordering of C-PROLOG.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	Prolog
3	Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi	Modeling Prolog Control.	POPL	1992	DBLP DOI BibTeX RDF	Prolog
3	Donna M. Kaminski	Introducing the fuzzy paradigm using Prolog.	SIGCSE	1992	DBLP DOI BibTeX RDF	Prolog
3	Gerardo Canfora, Aniello Cimitile, Ugo de Carlini	A Logic-Based Approach to Reverse Engineering Tools Production.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	reverse engineering tools, intermodular data flow analysis, Pascal software systems, evolutionary tool, Prolog program dictionary, Prolog abstractor, logic programming, static analysis, software maintenance, software tools, query answering, interactive tool
3	Randy M. Kaplan	A plea for readable pleas for a readable Prolog programming style.	SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	Prolog
3	Claudio Delrieux, Pablo R. Azero Alcocer, Fernando Tohmé	Toward integrating imperative and logic programming paradigms: WYSIWYG approach to PROLOG programming.	SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	Prolog
3	Jacques Briat, M. Favre, Cláudio F. R. Geyer, Jacques Chassin de Kergommeaux	Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor.	PARLE	1991	DBLP DOI BibTeX RDF	OPERA, OR-parallel Prolog, reconfigurable multiprocessor, distributed-memory, WAM, Supernode, scalable multiprocessor
3	Yves Bekkers, Lucien Ungaro	Real-Time Memory Management for Prolog.	RCLP	1991	DBLP DOI BibTeX RDF	early reset, variable shunting, attributed variable, virtual backtracking, Prolog, implementation, abstract machine, realtime, garbage collector
3	Robert McLaughlin	A plea for a readable Prolog programming style.	SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	Prolog
3	Peter Greenfield	Bagof/3 to ZF expression: an example prolog application manually translated to Miranda.	SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	non-deterministic programming, logic programming, prolog, functional programming, Miranda
3	Joanne L. Boyd, Gerald M. Karam	Prolog in "C".	SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	‘C’, Prolog, translation, declarative programming, procedure programming
3	Barry S. Fagin, Alvin M. Despain	The Performance of Parallel Prolog Programs.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	parallel Prolog programs, intelligent backtracking, super-multiplicative behavior, performance evaluation, performance, parallel programming, PROLOG, OR-parallelism, AND-parallelism
3	Mark Tarver	An Examination of the Prolog Technology Theorem-Prover.	CADE	1990	DBLP DOI BibTeX RDF	PTTP, metalevel reasoning, Prolog Normal Form, refinement
3	David Roach, Hal Berghel, John R. Talburt	An interactive source commenter for Prolog programs.	SIGDOC	1990	DBLP DOI BibTeX RDF	Prolog
3	R. Ramesh, I. V. Ramakrishnan, David Scott Warren	Automata-Driven Indexing of Prolog Clauses.	POPL	1990	DBLP DOI BibTeX RDF	Prolog
3	L. Campanale, Mario De Blasi, Anna Gentile, F. Greco	Topologies for the parallel backtracking Prolog engine.	MICRO	1990	DBLP DOI BibTeX RDF	Prolog machines, backup or-parallelism, distributed systems, topologies, coprocessors, transputers, Occam, multicomputer networks
3	Fevzi Belli, Ismael Camara, Alfred Schmidt	A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
3	D. Sarma, C. P. Wu	Pipelined OR-Parallelism Architecture for Parallel Execution of Prolog.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
3	Alfred Schmidt, Fevzi Belli	An Extension of PROLOG for Object-Oriented Programming in Logic.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
3	Moon-Chuen Lee	An Augmented Prolog Programming Environment for Tutoring Applications.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
3	Thom W. Frühwirth	Polymorphic Type Checking with Subtypes in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF	Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification
3	William W. McMillan, Christopher J. Gardiner	A Prolog System for Case-Based Classification (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Prolog
3	David Roach, Hal Berghel	The Physiology of PROLOG Expert System Inference Engine.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog
3	Chunsik Yi, Steven Graham	Real-Time Reasoning with PROLOG.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog
3	Kam-Fai Wong, M. Howard Williams	CLARE - A Prolog Database Machine.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog
3	Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto	Design and Distributed Implementation of the Parallel Logic Language Shared Prolog.	PPOPP	1990	DBLP DOI BibTeX RDF	Prolog, C
3	Balkrishna Ramkumar, Laxmikant V. Kalé	A Chare Kernel Implementation of a Parallel Prolog Compiler.	PPOPP	1990	DBLP DOI BibTeX RDF	Prolog
3	Kim Marriott, Harald Søndergaard	On prolog and the occur check problem.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Prolog
3	Ming-Yuan Zhu	Transformational programming: the derivation of a Prolog interpretation algorithm.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Prolog
3	Kam-Fai Wong, M. Howard Williams	A Type Driven Hardware Engine for Prolog Clause Retrieval over a Large Knowledge Base.	ISCA	1989	DBLP DOI BibTeX RDF	Prolog
3	Ashok Singhal, Yale N. Patt	A High Performance Prolog Processor with Multiple Function Units.	ISCA	1989	DBLP DOI BibTeX RDF	Prolog
3	M. Morioka	S. Yamaguchi, T. Bandoh: Evaluation of Memory System for Integrated Prolog Processor IPP.	ISCA	1989	DBLP DOI BibTeX RDF	Prolog
3	M. Brady	A direct execution architecture for Prolog?	MICRO	1989	DBLP DOI BibTeX RDF	Prolog
3	Hal Berghel, Richard Rankin, Sanjiv K. Bhatia	MS-DOS Prolog implementations revisited.	SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog, MS-DOS
3	Giuseppe Cattaneo, Vincenzo Loia	A common-LISP implementation of an extended Prolog system.	SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog, LISP
3	Jukka Paakki	A note on the speed of Prolog.	SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog
3	Sakti P. Ghosh, Chih-Chen Lin, Timos K. Sellis	Implementation of a Prolog-INGRES Interface.	SIGMOD Record	1988	DBLP DOI BibTeX RDF	Prolog, INGRES
3	J. L. Weiner, S. Ramakrishnan	A Piggy-back Compiler For Prolog.	PLDI	1988	DBLP DOI BibTeX RDF	Prolog, Prolog