Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai	cu-Prolog and its Application to a JPSG Parser.	LP	1989	DBLP DOI BibTeX RDF
39	Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen	Loop Detection in Propositional Prolog Programs.	CSL	1988	DBLP DOI BibTeX RDF
39	Makoto Takizawa 0001, Katsumi Miyajima	Concurrent Execution of Prolog Transaction.	LP	1987	DBLP DOI BibTeX RDF
39	Toramatsu Shintani	An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE.	LP	1987	DBLP DOI BibTeX RDF
39	Shinichi Morishita, Masayuki Numao	Prolog Computation Model BPM and its Debugger PROEDIT2.	LP	1986	DBLP DOI BibTeX RDF
38	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
38	Jordi Tubella, Antonio González 0001	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
38	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
38	Deepinder P. Sidhu, Carole S. Crall	Executable Logic Specifications for Protocol Service Interfaces.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable logic specifications, protocol service interfaces, formal modeling technique, logic-programming-based language, protocol layers, protocol standards, ISO/OSI, protocols, Prolog, PROLOG, specification languages, correctness, formal language, formal languages, transport layer
38	Keith L. Clark	PARLOG and Its Applications.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	parallel logic programming language, parallel programming, object-oriented programming, object-oriented programming, logic programming, Prolog, PROLOG, high level languages, systems programming, PARLOG, PARLOG
38	Jorge B. Bocca	On the Evaluation Strategy of EDUCE.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF	Prolog, Prolog, INGRES
37	Jonathan Mohr	Two novel prolog assignments.	ITiCSE	2009	DBLP DOI BibTeX RDF	prolog, programming languages, assignments
37	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
37	Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth	Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.	SAC	2007	DBLP DOI BibTeX RDF	CHR (Constraint Handling Rules), first-order constraints solving, theory of finite or infinite trees, Prolog, unification
37	Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier	Type Analysis of Prolog Using Type Graphs. (long version: JLP 22(3): 179-209 (1995))	PLDI	1994	DBLP DOI BibTeX RDF	Prolog
37	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
37	Leonardo Campanale, Mario De Blasi, Anna Gentile, F. Greco	Topologies for the parallel backtracking Prolog engine.	MICRO	1990	DBLP BibTeX RDF	Prolog machines, backup or-parallelism, distributed systems, topologies, coprocessors, transputers, Occam, multicomputer networks
37	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
37	Ming-Yuan Zhu	Transformational programming: the derivation of a Prolog interpretation algorithm.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Prolog
37	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
37	Ashok Singhal, Yale N. Patt	A High Performance Prolog Processor with Multiple Function Units.	ISCA	1989	DBLP DOI BibTeX RDF	Prolog
37	Richard Rankin	Increasing the Efficiency of Prolog Lexical Databases with N-gram Boolean Cubes.	SIGSMALL/PC	1988	DBLP DOI BibTeX RDF	Prolog
37	Howard Lambert	Pascal's emulation of a Prolog program.	SIGCSE	1988	DBLP DOI BibTeX RDF	Prolog, Pascal
37	Rommert J. Casimir	Prolog Puzzles.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Prolog
37	Tadashi Kanamori, Hiroshi Fujita	Formulation of Induction Formulas in Verification of Prolog Programs.	CADE	1986	DBLP DOI BibTeX RDF	Prolog, Program Transformation, Program Verification, Induction
37	Ehud Shapiro	Systems Programming in Concurrent Prolog.	POPL	1984	DBLP DOI BibTeX RDF	Concurrent Prolog
37	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.	PADL	2004	DBLP DOI BibTeX RDF
37	Ralph Butler, Rasiah Loganantharaj, Robert Olson	Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine.	CADE	1988	DBLP DOI BibTeX RDF
37	Martin Nilsson 0001, Hidehiko Tanaka	FLENG Prolog - The Language which turns Supercomputers into Parallel Prolog Machines.	LP	1986	DBLP DOI BibTeX RDF
36	Gopal Gupta 0001, Huaduo Wang, Kinjal Basu 0002, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta	Logic-Based Explainable and Incremental Machine Learning.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Michael R. Genesereth	Dynamic Logic Programming.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Ken Satoh	PROLEG: Practical Legal Reasoning System.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Peter A. Flach, Kacper Sokol, Jan Wielemaker	Simply Logical - The First Three Decades.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield	Ergo: A Quest for Declarativity in Logic Programming.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Pierre Dissaux	Logic Model Processing.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Paul Tarau	Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Robert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila	Combining Logic Programming and Imperative Programming in LPS.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi	Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Laura Andrea Cecchi, Jorge Pablo Rodríguez, Verónica Dahl	Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children?	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Tristan Krueger, Abhijeet Mohapatra, Michael R. Genesereth	Symbium: Using Logic Programming to Streamline Citizen-to-Government Interactions.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Robert A. Kowalski, Jacinto A. Dávila, Galileo Sartor, Miguel Calejo	Logical English for Law and Education.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
36	Raf Venken, D. Donner	A Data-Driven Execution Mechanism for Transaction-Oriented Information Systems.	Prolog and Databases	1988	DBLP BibTeX RDF
36	Norman W. Paton, Peter M. D. Gray	An Object-Oriented Database for Storage and Analysis of Protein Structure Data.	Prolog and Databases	1988	DBLP BibTeX RDF
36	K. Lunn, I. G. Archibald	TREQL (Thornton Research Easy Query Language): An Intelligent Front-End to a Relational Database.	Prolog and Databases	1988	DBLP BibTeX RDF
36	Toshio Nomura, Stephen Lunn	On Transaction Processing, Knowledge-Based Systems and Databases.	Prolog and Databases	1988	DBLP BibTeX RDF
36	Carol Small	Guarded Default Databases: A Prototype Implementation.	Prolog and Databases	1988	DBLP BibTeX RDF
36	Laurent Vieille	Recursive Query Processing: Fundamental Algorithms and the DedGin System.	Prolog and Databases	1988	DBLP BibTeX RDF
36	G. Williams	The TRACE Club Expert System and Databases.	Prolog and Databases	1988	DBLP BibTeX RDF
36	António Porto	Epilog: A Language for Extended Programming in Logic.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Mark Dowson	A Note on Micro-Planer.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Mark Warner	The Taming of the Sleuth.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Ralph E. Griswold	The Control of Searching and Backtracking in String Pattern Matching.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Feliks Kluzniak	The 'Marseille Interpreter' - a Personal Perspective.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Luís Moniz Pereira	Logic Control with Logic.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	D. Julian M. Davies	POLER - Implementation of a POP-2-based PLANNER.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Maurice Bruynooghe, Luís Moniz Pereira	Deduction Revision by Intelligent Backtracking.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Luís Monteiro	A Proposal for Distributed Programming in Logic.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Seif Haridi, Dan Sahlin	Efficient Implementation of Unification of Cyclic Structures.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Stephen John Turner	W-Grammars for Logic Programming.	Implementations of Prolog	1984	DBLP BibTeX RDF
36	Philip T. Cox	Finding Backtrack Points for Intelligent Backtracking.	Implementations of Prolog	1984	DBLP BibTeX RDF
35	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
35	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
35	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
35	J. L. Weiner, S. Ramakrishnan	A Piggy-back Compiler For Prolog.	PLDI	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
35	Alin Suciu, Kalman Pusztai, Tudor Muresan, Zsolt Simon	LOOP-A Language for LP-Based AI Applications.	ICTAI	2001	DBLP DOI BibTeX RDF
35	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Implementation of a Linear Tabling Mechanism.	PADL	2000	DBLP DOI BibTeX RDF
35	Jon. Hallett	Formulating Update Messages.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Smalltalk
35	Balkrishna Ramkumar, Laxmikant V. Kalé	Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	Reduce-OR process model, Encore Multimax, Sequent Symmetry, NCUBE 2, Intel i860 hypercube, Chare kernel, scale linearly, performance, parallel programming, parallel programming, compiler, logic programming, logic programs, multiprocessing systems, program compilers, parallel execution, Sun workstations
35	Philip W. Hall IV	Parsing with C++ Constructors.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C++
35	Baowen Xu	CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
35	Khayri A. M. Ali, Roland Karlsson	Performance of Muse on the BBN Butterfly TC2000.	PARLE	1992	DBLP DOI BibTeX RDF
35	Giuseppe Attardi, Mauro Gaspari	Multilanguage Interoperability.	PLILP	1991	DBLP DOI BibTeX RDF
35	Isambo Karali, Evangelos Pelecanos, Constantin Halatsis	A Versatile Module System for Prolog Mapped to Flat Prolog.	SAC	1993	DBLP DOI BibTeX RDF	Prolog
35	Klaus Bothe	A prolog space benchmark suite: a new tool to compare prolog implementations.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	Prolog
34	Angelika Kimmig	A Probabilistic Prolog and its Applications (Een probabilistische prolog en zijn toepassingen) ; A Probabilistic Prolog and its Applications.		2010	RDF
34	Ivan Futó	Prolog with Communicating Processes: From T-Prolog to CSR-Prolog.	ICLP	1993	DBLP BibTeX RDF
33	Petra Saskia Bayerl, Harald Lüngen, Daniela Goecke, Andreas Witt, Daniel Naber	Methods for the semantic analysis of document markup.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF	XML, information extraction, prolog, semantic analysis
33	Neng-Fa Zhou	Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	action rules, agents, constraints, Prolog, programming languages, graphics programming, graphical user interface design
33	Frédéric Saubion, Igor Stéphan	On Implementation of Tree Synchronized Languages.	RTA	1999	DBLP DOI BibTeX RDF	Tree Synchronized Grammars, Prolog Implementation, Linear Logic, Proof Systems
33	Annalisa Bossi, Nicoletta Cocco	Success in Logic Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF	pure Prolog programs, failure/success analysis, program transformations
33	Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren	Unification Factoring for Efficient Execution of Logic Programs.	POPL	1995	DBLP DOI BibTeX RDF	Prolog
33	José C. Cunha, Manuel B. Carvalhosa	A Sequential Abstract Machine for a Distributed Logic Language.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF	Concurrent Prolog
33	Bruno Legeard, Emmanuel Legros	Short Overview of the CLPS System.	PLILP	1991	DBLP DOI BibTeX RDF	Key-Words Logic Programming, set languages, constraints, Prolog, CLPS
33	Tai-Sheng Zhang, William W. McMillan	An Implementation of ID3 That Creates Executable Rules (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Prolog
33	Hans Benker, Jean-Michel Beacco, Sylvie Bescos, Michel Dorochevsky, Thomas Jeffré, Anita Pohlmann, Jacques Noyé, Bruno Poterie, Alan P. Sexton, Jean-Claude Syre, Oliver Thibault, Günter Watzlawik	KCM: A Knowledge Crunching Machine.	ISCA	1989	DBLP DOI BibTeX RDF	Prolog
32	Vítor Santos Costa	On Just in Time Indexing of Dynamic Predicates in Prolog.	EPIA	2009	DBLP DOI BibTeX RDF
32	Shengshuang Chen, Lijuan Wen, Lihua Xiao, Shijun Li	Extracting Structured House Information from BBS Based on Prolog.	CSSE (4)	2008	DBLP DOI BibTeX RDF
32	Tobias Matzner, Pascal Hitzler	Any-World Access to OWL from Prolog.	KI	2007	DBLP DOI BibTeX RDF
32	Marcello Balduccini	cr-models: An Inference Engine for CR-Prolog.	LPNMR	2007	DBLP DOI BibTeX RDF
32	Steve Gregory, Martha Paschali	A Prolog-Based Language for Workflow Programming.	COORDINATION	2007	DBLP DOI BibTeX RDF
32	Rémy Haemmerlé, François Fages	Modules for Prolog Revisited.	ICLP	2006	DBLP DOI BibTeX RDF
32	M. R. K. Krishna Rao	A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data.	ALT	2005	DBLP DOI BibTeX RDF
32	Keith L. Clark, Peter J. Robinson 0001, Silvana Zappacosta-Amboldi	Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper).	CLIMA	2005	DBLP DOI BibTeX RDF
32	Carlos Cares, Xavier Franch, Enric Mayol	Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem.	CLIMA	2005	DBLP DOI BibTeX RDF
32	James Cheney, Christian Urban	alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.	ICLP	2004	DBLP DOI BibTeX RDF
32	Linh Anh Nguyen	MProlog: An Extension of Prolog for Modal Logic Programming.	ICLP	2004	DBLP DOI BibTeX RDF
32	Neng-Fa Zhou	A Constraint-Based Graphics Library for B-Prolog.	CP	2004	DBLP DOI BibTeX RDF
32	Peter J. Robinson 0001, Michael G. Hinchey, Keith L. Clark	Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities.	FAABS	2002	DBLP DOI BibTeX RDF
32	Khaled Benkrid, Danny Crookes, Abdsamad Benkrid, Samir Belkacemi	A Prolog-Based Hardware Development Environment.	FPL	2002	DBLP DOI BibTeX RDF
32	Ioannis P. Vlahavas, Ilias Sakellariou, Ivan Futó, Zoltán Pásztor, János Szeredi	CSPCONS: A Communicating Sequential Prolog with Constraints.	SETN	2002	DBLP DOI BibTeX RDF