Search results for "prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	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
104	G. Scott Owen	RT Prolog: a real time Prolog written in Ada.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, Prolog
93	Adil Kabbaj, Martin Janta-Polczynski	From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language.	ICCS	2000	DBLP DOI BibTeX RDF
93	Mark E. Stickel	A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF
88	Alexander Ja. Dikovsky	Prolog Semantics for Measuring Space Consumption.	RCLP	1991	DBLP DOI BibTeX RDF
86	Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue	Prolog Cafe : A Prolog to Java Translator System.	INAP	2005	DBLP DOI BibTeX RDF
84	David W. Reed, Donald W. Loveland, Bruce T. Smith	The Near-Horn Approach to Disjunctive Logic Programming.	ELP	1991	DBLP DOI BibTeX RDF
79	Randy M. Kaplan	A plea for readable pleas for a readable Prolog programming style.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	Prolog
79	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
77	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
74	Marcello Balduccini	Splitting a CR-Prolog Program.	LPNMR	2009	DBLP DOI BibTeX RDF
74	Jieh Hsiang, Mandayam K. Srivas	A PROLOG Environment for Developing and Reasoning about Data Types.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
72	Tiago Soares, Ricardo Rocha 0001, Michel Ferreira	Generic Cut Actions for External Prolog Predicates.	PADL	2006	DBLP DOI BibTeX RDF	Prolog Systems Implementation, External Modules, Pruning
72	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
72	Jacques Cohen, Timothy J. Hickey	Parsing and Compiling Using Prolog.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	Prolog
70	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
70	Vítor Santos Costa	The Life of a Logic Programming System.	ICLP	2008	DBLP DOI BibTeX RDF
70	R. D. Purdy	Knowledge and Tools in Building GRANDJUR 1.1.	ICAIL	1989	DBLP DOI BibTeX RDF
68	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
67	Ricardo Lopes, Luís Fernando Castro, Vítor Santos Costa	From simulation to practice: cache performance study of a Prolog system.	MSP/ISMM	2002	DBLP DOI BibTeX RDF
67	Szabolcs Ferenczi	Concepts for a Modular and Distributed Prolog Language.	PLILP	1991	DBLP DOI BibTeX RDF
65	Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi	Modeling Prolog Control.	POPL	1992	DBLP DOI BibTeX RDF	Prolog
65	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 (2)	1991	DBLP DOI BibTeX RDF	OPERA, OR-parallel Prolog, reconfigurable multiprocessor, distributed-memory, WAM, Supernode, scalable multiprocessor
65	David Roach, Hal Berghel, John R. Talburt	An interactive source commenter for Prolog programs.	SIGDOC	1990	DBLP DOI BibTeX RDF	Prolog
65	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
65	M. Morioka	S. Yamaguchi, T. Bandoh: Evaluation of Memory System for Integrated Prolog Processor IPP.	ISCA	1989	DBLP DOI BibTeX RDF	Prolog
65	Giuseppe Cattaneo, Vincenzo Loia	A common-LISP implementation of an extended Prolog system.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog, LISP
65	Mark E. Stickel	A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.	CADE	1986	DBLP DOI BibTeX RDF
63	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
63	Yasusi Kanada, Keiji Kojima, Masahiro Sugaya	Vectorization techniques for prolog.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
63	G. Scott Owen, Taylor Binkley	KC expert - the development of an ICAI system for chemistry.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
61	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
60	Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001	Towards a jitting VM for prolog execution.	PPDP	2010	DBLP DOI BibTeX RDF	logic programming, interpreters, partial evaluation, jit
60	Neng-Fa Zhou	A Register-Free Abstract Prolog Machine with Jumbo Instructions.	ICLP	2007	DBLP DOI BibTeX RDF
60	Benjamin Z. Li	A pi-Calculus Specification of Prolog.	ESOP	1994	DBLP DOI BibTeX RDF
60	Donna M. Kaminski	A Knowledge Base Approach to Learning to Program in Prolog.	ICCAL	1992	DBLP DOI BibTeX RDF
59	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
59	Michael R. Genesereth	Prolog as a Knowledge Representation Language the Nature and Importance of Prolog.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
59	Rabbe Fogelholm	Exeter Prolog - some thoughts on Prolog design by a LISP user.	Implementations of Prolog	1984	DBLP BibTeX RDF
58	Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar 0001, Rasool Jalili	Vulnerability Analysis in VGBPS Using Prolog.	FSEN	2007	DBLP DOI BibTeX RDF	Protection System, Safety Problem, Prolog, Vulnerability Analysis
58	José F. Morales 0001, 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
58	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
58	Jian Wang, Jungsoon P. Yoo, Thomas J. Cheatham	Efficient Reordering of C-PROLOG.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	Prolog
58	Robert McLaughlin	A plea for a readable Prolog programming style.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	Prolog
58	Joanne L. Boyd, Gerald M. Karam	Prolog in "C".	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	‘C’, Prolog, translation, declarative programming, procedure programming
58	Balkrishna Ramkumar, Laxmikant V. Kalé	A Chare Kernel Implementation of a Parallel Prolog Compiler.	PPoPP	1990	DBLP DOI BibTeX RDF	Prolog
58	Kim Marriott, Harald Søndergaard	On prolog and the occur check problem.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Prolog
58	Jonas Barklund	Efficient interpretation of Prolog programs.	PLDI	1987	DBLP DOI BibTeX RDF	Prolog
56	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
56	Susana Muñoz-Hernández, José Manuél Gómez-Pérez	Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains.	OTM Workshops	2004	DBLP DOI BibTeX RDF
56	Andrew Cheese	Multi-Moded Relations in Parlog.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	PARLOG, PARLOG
56	Youji Kohda, Jiro Tanaka	Deriving a Compilation Method for Parallel Logic Languages.	LP	1987	DBLP DOI BibTeX RDF
54	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
53	Jesús Manuel Almendros-Jiménez	An Encoding of XQuery in Prolog.	XSym	2009	DBLP DOI BibTeX RDF
53	Antonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou	The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web.	SETN	2008	DBLP DOI BibTeX RDF
53	Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes	Demand-Driven Indexing of Prolog Clauses.	ICLP	2007	DBLP DOI BibTeX RDF
53	Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata	Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications.	INAP	2005	DBLP DOI BibTeX RDF
53	Yoon-chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee	A Prolog Tailoring Technique on an Epilog Tailored Procedure.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
53	Luís Fernando Castro, Vítor Santos Costa	Understanding Memory Management in Prolog Systems.	ICLP	2001	DBLP DOI BibTeX RDF
53	Erwan Jahier, Mireille Ducassé, Olivier Ridoux	Specifying Prolog Trace Models with a Continuation Semantics.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
53	Xining Li	Program Sharing: A New Implementation Approach for Prolog.	PLILP	1996	DBLP DOI BibTeX RDF
53	Micha Meier, Joachim Schimpf	An Architecture for Prolog Extensions.	ELP	1992	DBLP DOI BibTeX RDF
53	Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi	CS-Prolog: A Generalized Unification Based Constraint Solver.	LP	1987	DBLP DOI BibTeX RDF
51	Atef Suleiman, John Miller	Implementing Thread Cancellation in Multithreaded Prolog Systems.	PADL	2009	DBLP DOI BibTeX RDF	concurrency, Prolog, threads
51	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
51	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
51	Hai Wan, Yunxiang Zheng, Yin Chen 0005, Lei Li 0022	Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog.	SPW/ProSim	2006	DBLP DOI BibTeX RDF	A-Prolog, Business process, Requirements analysis, Meta-model
51	José F. Morales 0001, 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
51	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
51	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
51	Fevzi Belli, Oliver Jack	Implementation-Based Analysis and Testing of Prolog Programs.	ISSTA	1993	DBLP DOI BibTeX RDF	Prolog
51	David Roach, Hal Berghel	The Physiology of PROLOG Expert System Inference Engine.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog
51	Moon-Chuen Lee	An Augmented Prolog Programming Environment for Tutoring Applications.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
51	Hal Berghel, Richard Rankin, Sanjiv K. Bhatia	MS-DOS Prolog implementations revisited.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog, MS-DOS
51	Jukka Paakki	A note on the speed of Prolog.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog
51	Carolyn R. Watters, Michael A. Shepherd, W. Robertson, K. H. Lee	An expert system for bibliographic retrieval using Prolog.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Prolog
51	Gaetano Borriello, Andrew R. Cherenson, Peter B. Danzig, Michael N. Nelson	RISCs versus CISCs for Prolog: A Case Study.	ASPLOS	1987	DBLP DOI BibTeX RDF	Prolog, RISC, CISC
51	Daniel Diaz 0001, Philippe Codognet	GNU Prolog: Beyond Compiling Prolog to C.	PADL	2000	DBLP DOI BibTeX RDF
51	Pascale Louvet, Olivier Ridoux	Parametric Polymorphism for Typed Prolog and lambda-Prolog.	PLILP	1996	DBLP DOI BibTeX RDF	second-order -Calculus, Logic programming, polymorphism, typing
51	Alberto Martelli, Gianfranco Rossi	Enhancing Prolog to Support Prolog Programming Environments.	ESOP	1988	DBLP DOI BibTeX RDF
51	Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa	Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System.	LP	1985	DBLP DOI BibTeX RDF
49	Krzysztof R. Apt, Alessandro Pellegrini 0002	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
49	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
49	Hong Xia, Wolfgang K. Giloi	A hybrid scheme for detecting AND-parallelism in prolog programs.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
49	Marcello Balduccini, Michael Gelfond, Monica L. Nogueira	Answer set based design of knowledge systems.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	PACS 68T30, 68T35, 68T20
49	Michael Beeson	Some Applications of Gentzen's Proof Theory in Automated Deduction.	ELP	1989	DBLP DOI BibTeX RDF
49	Rand Methfessel	Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	C
47	Verónica Dahl, Laura Andrea Cecchi	Introducing Prolog in Language-Informed Ways.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	Nick Bassiliades, Ilias Sakellariou, Petros Kefalas	Demonstrating Multiple Prolog Programming Techniques Through a Single Operation.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	Jean-Christophe Rohner, Håkan Kjellerstrand	Prolog for Scientific Explanation.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001, Manuel Carro	Types, Modes and so Much More - The Prolog Way.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	David Scott Warren	Introduction to Prolog.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	Gopal Gupta 0001, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu 0002, Huaduo Wang, Fang Li 0010, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro	Prolog: Past, Present, and Future.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	Michael Leuschel	ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001	Some Thoughts on How to Teach Prolog.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	Vesna Marinkovic	Prolog in Automated Reasoning in Geometry.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	Laurent Cervoni, Julien Brasseur, Jean Rohmer	Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	Veneta Tabakova-Komsalova, Stanimir Stoyanov, Asya Stoyanova-Doycheva, Lyubka Doukovska	Prolog Education in Selected Secondary Schools in Bulgaria.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	José F. Morales 0001, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo	Teaching Prolog with Active Logic Documents.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
47	David Scott Warren, Marc Denecker	A Better Logical Semantics for Prolog.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF