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 |
|