Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
47 | David Scott Warren |
Writing Correct Prolog Programs. |
Prolog: The Next 50 Years |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Carl Andersen 0001, Theresa Swift |
The Janus System: A Bridge to New Prolog Applications. |
Prolog: The Next 50 Years |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Prolog Meets Biology. |
Prolog: The Next 50 Years |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Miguel Calejo, Charles Hoffman |
Pacioli: A PROLOG System for Financial Report Processing. |
Prolog: The Next 50 Years |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Gregory Gelfond, Marcello Balduccini, David A. Ferrucci, Aditya Kalyanpur, Adam Lally |
Machines as Thought Partners: Reflections on 50 Years of Prolog. |
Prolog: The Next 50 Years |
2023 |
DBLP DOI BibTeX RDF |
|
47 | M. Howard Williams, P. A. Massey, Jim A. Crammond |
Benchmarking Prolog for Database Applications. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | Kotagiri 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. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | William G. Imlah, Bart Demoen |
A Flexible Prolog-Based Lexical Database System. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | S. Todd |
An Interface from Prolog to a Binary Relational Database. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | T. Irving |
A Generalized Interface Between Prolog and Relational Databases. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | Paul Singleton, C. D. Farris |
Software Configuration Management Using Prolog. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | David S. Moffat |
Modular Commitment in Persistent Prolog. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | F. Mouta, M. Howard Williams, J. C. Neves |
Implementing Query Languages in Prolog. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | Michael Freeston |
Grid Files for Efficient Prolog Clause Access. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | Jorge B. Bocca, Philip J. Pearson |
On Prolog DBMS Connections: A Step Forward from Educe. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | D. I. Howells, Nick J. Fiddian, W. A. Gray |
A Source-to-Source Meta-Translation System for Database Query Languages - Implementation in Prolog. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | Raf Venken, Anne Mulkers |
The Interaction Between BIM-Prolog and Relational Databases. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | Robert J. Lucas, G. A. Le Vine |
A Prolog-Relational Database Interface. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
47 | Katsuhiko Nakamura |
Associative Evaluation of Prolog Programs. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Martin Nilsson 0001 |
The World's Shortest Prolog Interpreter? |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Kenneth M. Kahn, Mats Carlsson |
How to Implement Prolog on a LISP Machine. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Michael J. Wise |
EPILOG: Re-interpreting and Extending Prolog for a Multiprocessor Environment. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Richard Ennals, Jonathan Briggs, Derek R. Brough |
What the naive user wants from Prolog. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Ivan Futó, János Szeredi |
System Simulation and Cooperative Problem-solving on a Prolog Basis. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli |
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Miguel Filgueiras |
A Prolog Interpreter Working with Infinite Terms. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Feliks Kluzniak, Stan Szpakowicz |
Prolog - a Panacea? |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Maurice Bruynooghe |
Garbage Collection in Prolog Interpreters. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | John A. Campbell, Steve Hardy |
Should Prolog be List or Record Oriented. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Jørgen Fischer Nilsson |
Formal Vienna-Definition-Method Models of Prolog. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Maarten H. van Emden |
An Interpreting Algorithm for Prolog Programs. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | Chris Mellish, Steve Hardy |
Integrating Prolog in the POPLOG Environment. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
47 | 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 |
47 | 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 |
47 | 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 |
47 | John Najarian |
Modeling in Prolog. |
SIGCSE |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog, Prolog |
47 | Susana Muñoz-Hernández, Wiratna Sari Wiguna |
Fuzzy Cognitive Layer in RoboCupSoccer. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
Constraint Logic Programming Implementation, Prolog Application, RoboCupSoccer, Cognitive Layer, Logic Programming, Fuzzy Reasoning |
47 | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
XSB as an Efficient Deductive Database Engine. |
SIGMOD Conference |
1994 |
DBLP DOI BibTeX RDF |
Prolog |
46 | Shahid Hussain, M. R. K. Krishna Rao |
Learning Hereditary and Reductive Prolog Programs from Entailment. |
ICIC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Péter G. N. Szabó, Péter Szeredi |
Improving the ISO Prolog Standard by Analyzing Compliance Test Results. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
On the New Application of Call Patterns to CPM Testing of Prolog Programs. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Christian Urban, James Cheney |
Avoiding Equivariance in Alpha-Prolog. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel |
Web Services Based on Prolog and Xml. |
INAP/WLP |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Satyam Tyagi, Paul Tarau |
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Jan Wielemaker |
Building Real-Life Applications with Prolog. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Kamran Karimi, Howard J. Hamilton |
Logical Decision Rules: Teaching C4.5 to Speak Prolog. |
IDEAL |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Roland Dietrich |
A Preprocessor Based Module System for Prolog. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
46 | H. Ito, H. Ueno |
ZERO: Frame + Prolog. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
46 | Jieh Hsiang, Mandayam K. Srivas |
PROLOG-Based Inductive Theorem Proving. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
44 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A Similarity-Based WAM for Bousi~Prolog. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming |
44 | 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 |
44 | 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 |
44 | Gabriella Kókai, Jörg Nilson, Christian Niss |
GIDTS: A Graphical Programming Environment for Prolog. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
Prolog |
44 | 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 |
44 | Alfred Schmidt, Fevzi Belli |
An Extension of PROLOG for Object-Oriented Programming in Logic. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
44 | Sakti P. Ghosh, Chih-Chen Lin, Timos K. Sellis |
Implementation of a Prolog-INGRES Interface. |
SIGMOD Rec. |
1988 |
DBLP DOI BibTeX RDF |
Prolog, INGRES |
44 | Kam-Fai Wong, M. Howard Williams |
Limiting a Resolution Set in a Large Prolog Database Using Special Hardware. |
SIGSMALL/PC |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
44 | Bruce S. Elenbogen, Martha R. O'Kennon |
Teaching recursion using fractals in Prolog. |
SIGCSE |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
44 | Jan Newmarch |
A Case Study in Deterministic Prolog. |
Australian Joint Conference on Artificial Intelligence |
1988 |
DBLP DOI BibTeX RDF |
Kwywords and phrases Prolog, compilation, determinism, WAM |
44 | Alexis Koster |
Compiling prolog programs for parallel execution on a cellular machine. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
Prolog |
44 | Tom Schrijvers, Alexander Serebrenik |
Improving Prolog Programs: Refactoring for Prolog. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Andreas Krall, Thomas Berger |
Fast Prolog with VAM1p based Prolog Compiler. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
42 | 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 |
42 | Enrico Pontelli, Gopal Gupta 0001, Manuel V. Hermenegildo |
&ACE: a high-performance parallel Prolog system. |
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 |
42 | 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 |
42 | 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 |
42 | 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 |
42 | António L. Furtado 0001 |
Towards functional programming in Prolog. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
42 | Wei Si Jiang, William G. Wee |
Commonsense reasoning in Prolog. |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
42 | Miguel Calejo |
InterProlog: Towards a Declarative Embedding of Logic Programming in Java. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho |
Experimental Evaluation of a Caching Technique for ILP. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Jerry D. Smith |
Implementing knowledge bases on secondary storage (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
42 | Rikio Onai, Hajime Shimizu, Kanae Masuda, Akira Matsumoto, Moritoshi Aso |
Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: PIM-R. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
42 | Pavol Návrat, Mária Bieliková |
Representing Calendrical Algorithms and Data in Prolog and Prolog III. |
ACM SIGPLAN Notices |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
40 | Michel Ferreira, Luís Damas |
Multiple Specialization of WAM Code. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
Prolog Compilation, Code Specialization, Program Analysis |
40 | Robert F. Stärk |
Total Correctness of Logic Programs: A Formal Approach. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
Formal methods in logic programming, verification of logic programs, pure Prolog, negation as failure |
40 | George K. Papakonstantinou, T. Panayiotopoulos |
A full theorem-prover under uncertainty. |
J. Intell. Robotic Syst. |
1993 |
DBLP DOI BibTeX RDF |
inexact reasoning, Prolog, theorem-proving, certainty, model elimination |
40 | Kazuo Taki, Katsuto Nakajima, Hiroshi Nakashima, Morihiro Ikeda |
Performance and Architectural Evaluation of the PSI Machine. |
ASPLOS |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
39 | Jan Wielemaker |
Enabling Serendipitous Search on the Web of Data Using Prolog. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Paulo Moura |
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Magnus Hjelmblom, Jan Odelstad |
jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems. |
KES-AMSTA |
2009 |
DBLP DOI BibTeX RDF |
deontic action-logic, normative positions, norm-regulated MAS, DALMAS, logic server |
39 | Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen |
Towards Typed Prolog. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Lingzhong Zhao, Tianlong Gu, Junyan Qian |
Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
Designing Prolog Semantics for a Class of Observables. |
PRICAI |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Xining Li, Guillaume Autran |
Inter-agent Communication in IMAGO Prolog. |
PROMAS |
2004 |
DBLP DOI BibTeX RDF |
|
39 | António Porto |
An Integrated Information System Powered by Prolog. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Jan Wielemaker |
Native Preemptive Threads in SWI-Prolog. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Vítor Santos Costa |
Performance Issues in Prolog Applications. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Leon Sterling |
Patterns for Prolog Programming. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Adil Kabbaj, Bernard Moulin, Jeremi Gancet, David Nadeau, Olivier Rouleau |
Uses, Improvements, and Extensions of Prolog+CG : Case Studies. |
ICCS |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Harold Boley |
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. |
INAP (LNCS Volume) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Naoki Fukuta, Nobuaki Mizutani, Tadachika Ozono, Toramatsu Shintani |
iML : A Logic-Based Framework for Constructing Graphical User Interface on Mobile Agents. |
INAP (LNCS Volume) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | J. P. E. Hodgson |
Book review: Prolog: The Standard Reference Manual By E Deransart, A. Ed-Dbali, and L. Cervoni (Springer-Verlag, 1996). |
SIGART Bull. |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Jesper Eskilson, Mats Carlsson |
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
logic programming, implementation, multithreading, machines |
39 | Torben Æ. Mogensen |
A Semantics-Based Determinacy Analysis for Prolog with Cut. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
|
39 | Karl Stroetmann 0001, Thomas Glaß |
A Declarative Semantics for the Prolog Cut Operator. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
39 | Jirí Zlatuska |
Linear Logic Semantics for Concurrent Prolog. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
39 | Antonio Brogi, Paolo Ciancarini |
The Concurrent Language, Shared Prolog. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
languages for distributed programming, metainterpretation, parallel programming, logic programming, distributed programming, transition systems, blackboard |
39 | Lee Naish |
Adding equations to NU-Prolog. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
39 | Seif Haridi, Catuscia Palamidessi |
Structural Operational Semantics for Kernel Andorra Prolog. |
PARLE (2) |
1991 |
DBLP DOI BibTeX RDF |
|