Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
ASP-PROLOG: a system for reasoning about answer set programs in prolog. |
NMR |
2004 |
DBLP BibTeX RDF |
|
23 | Nazim Koç |
Prolog\'un mantık programlamaya genişletilmesi (An extension of prolog to parallel logic programming language) |
|
2003 |
RDF |
|
23 | Nicos Angelopoulos, James Cussens |
Prolog Issues of an MCMC Algorithm. |
INAP |
2001 |
DBLP BibTeX RDF |
|
23 | Martin Emms |
A Prolog based Information Extraction System. |
INAP |
2001 |
DBLP BibTeX RDF |
|
23 | Ruey-Liang Ma, Chung-Ping Chung |
Reducing Memory Traffic and Accelerting Prolog Execution in a Superscalar Prolog System. |
J. Inf. Sci. Eng. |
1999 |
DBLP BibTeX RDF |
|
23 | Guy Alain Narboni |
From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited. |
Constraints An Int. J. |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux |
Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. |
Fuji International Symposium on Functional and Logic Programming |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Neng-Fa Zhou, Isao Nagasawa, Masanobu Umeda, Keiichi Katamine, Toyohiko Hirota |
B-Prolog: A High Performance Prolog Compiler. |
IEA/AIE |
1996 |
DBLP BibTeX RDF |
|
23 | Eric Morel |
Environnement de programmation parallèle: application au langage Prolog. (Parallel programming environment: application to Prolog language). |
|
1996 |
RDF |
|
23 | Touraïvane |
Applications industrielles de PROLOG III et présentation de PROLOG IV. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
23 | Sanja Vranes, Mladen Stanojevic |
Prolog/Rex - A Way to Extend Prolog for Better Knowledge Representation. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Pascal Brisset, Olivier Ridoux |
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. |
ILPS Workshop: Implementation Techniques for Logic Programming Languages |
1994 |
DBLP BibTeX RDF |
|
23 | Douglas Eadline |
Implementing Prolog on Distributed Systems: N-parallel Prolog. |
Workshop on Design and Impl. of Parallel Logic Programming Systems |
1994 |
DBLP BibTeX RDF |
|
23 | Lourdes Araujo, José J. Ruz |
PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
23 | Michael J. Wise |
Experience with PMS-Prolog: a Distributed Coarse-grain-parallel Prolog with Processes, Modules and Streams. |
Softw. Pract. Exp. |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Geoff Sutcliffe |
Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog. |
ICLP Workshop on Blackboard-Based Logic Programming |
1993 |
DBLP BibTeX RDF |
|
23 | Damian Chu |
I.C. Prolog II: a Multi-threaded Prolog System. |
ICLP-Workshops on Implementation of Logic Programming Systems |
1993 |
DBLP BibTeX RDF |
|
23 | Damian Chu, Keith L. Clark |
I.C. Prolog II: a Multi-threaded Prolog System. |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems |
1993 |
DBLP BibTeX RDF |
|
23 | Neng-Fa Zhou |
Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching. |
ICTAI |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Mark E. Stickel |
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Igor Stéphan |
L'inheritance near-Horn Prolog en Prolog. |
JFPL |
1992 |
DBLP BibTeX RDF |
|
23 | Michel Favre |
Un système Prolog parallèle pour machines à mémoire distribuée. (A parallel prolog system for distributed memory multiprocessor). |
|
1992 |
RDF |
|
23 | Cláudio Fernando Resin Geyer |
Une contribution à l'étude du parallélisme ou en Prolog sur des machines sans mémoire commune. (Contribution to the design of and or-parallel prolog on a distributed memory multiprocessor). |
|
1991 |
RDF |
|
23 | Christian Codognet, Philippe Codognet, Marc-Michel Corsini |
Abstract Interpretation from Prolog to Concurrent Prolog. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
23 | Ehud Shapiro |
Or-Parallel Prolog in Flat Concurrent Prolog. |
J. Log. Program. |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Ray Lai |
Expert Systems development in Prolog and Turbo Prolog by Peter Smith, Sigma Press (distributed by Wiley & Sons), 1988, 214 pp, £12.95. |
Knowl. Eng. Rev. |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Ken Johnson |
Prolog for programmers by Feliks Kluzniak and Stanislaw Szpakowicz, with a contribution by Janusz S. Bien, Academic Press, 1985, reprinted 1987, Paperback edition, ISBN 0-12-416521-4, 308 pages including many diagrams and listings. Includes Toy-Prolog for IBM-PC on 5¼ inch floppy disk. $14.95. |
Knowl. Eng. Rev. |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Heinrich Jasper |
Prolog und Datenbanken: Ein Schema für die externe verwaltung von Prolog-programmen. |
BTW |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Hamid Azzoune |
Les types en Prolog : un système d'inférence de type et ses applications. (Types in Prolog : a type inference system and its applications). |
|
1989 |
RDF |
|
23 | Jean François Pique |
Prolog II, A Step On the Prolog Road. |
AI Commun. |
1988 |
DBLP DOI BibTeX RDF |
|
23 | Mark E. Stickel |
A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. |
J. Autom. Reason. |
1988 |
DBLP DOI BibTeX RDF |
|
23 | John Staples, Peter J. Robinson 0001, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis |
Qu-Prolog: An Extended Prolog for Meta Level Programming. |
META |
1988 |
DBLP BibTeX RDF |
|
23 | A. Marquez |
NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
23 | Nicolai Preiß |
PROLOG-X86: Coupling PROLOG with a Relational Database System. |
Relational Databases and their Extensions |
1988 |
DBLP BibTeX RDF |
|
23 | Seif Haridi, Per Brand |
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
23 | Frank Schönefeld |
Zur Ausnutzung der Beziehungen von Logik, Prolog und Datenbanken für die Behandlung von Datenbankproblemen und die Weiterentwicklung von Prolog-Systemen. |
|
1988 |
RDF |
|
23 | Maarten van Someren |
Learning Prolog from a Book - A Review of Five Prolog Textbooks. |
AI Commun. |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Gerhard Barth |
Prolog: Programmierung auf der Basis von Logik / Prolog: Logic Based Programming. |
it Inf. Technol. |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Péter Kacsuk, A. Bale |
DAP Prolog: A Set-Oriented Approach to Prolog. |
Comput. J. |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Rose 0003, Hans-Jürgen Appelrath, Hermann Bense |
Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Edward W. Elcock, P. Hoddinott |
Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. |
AAAI |
1986 |
DBLP BibTeX RDF |
|
23 | Dov M. Gabbay |
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. |
J. Log. Program. |
1985 |
DBLP DOI BibTeX RDF |
|
23 | Kazunori Ueda, Takashi Chikayama |
Concurrent Prolog Compiler on Top of Prolog. |
SLP |
1985 |
DBLP BibTeX RDF |
|
23 | Peter M. D. Gray, David S. Moffat, J. B. H. du Boulay |
Persistent Prolog: A Secondary Storage Manager for Prolog. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
23 | Jean-Christophe Ianeselli |
Un opérateur d'unification pour une machine base de connaissance PROLOG. (An unification operator for a PROLOG knowledge base machine). |
|
1985 |
RDF |
|
23 | Dov M. Gabbay, Uwe Reyle |
N-Prolog: An Extension of Prolog with Hypothetical Implications I. |
J. Log. Program. |
1984 |
DBLP DOI BibTeX RDF |
|
23 | Peter Schnupp, C. Schmauch, Ute Leibrandt |
Was ist Prolog? / What is Prolog? |
Elektron. Rechenanlagen |
1984 |
DBLP DOI BibTeX RDF |
|
23 | Hideki Hirakawa, Rikio Onai, Koichi Furukawa |
OR-Parallel Optimizing Prolog System: POPS. Its Design and Implementation in Concurrent Prolog. |
RIMS Symposia on Software Science and Engineering |
1984 |
DBLP DOI BibTeX RDF |
|
23 | Martin Nilsson 0001 |
Prolog as a Tool for Optimizing Prolog Unifiers. |
ICLP |
1984 |
DBLP BibTeX RDF |
|
23 | Kenneth M. Kahn, Mats Carlsson |
The Compilation of Prolog Programs without the Use of a Prolog Compiler. |
FGCS |
1984 |
DBLP BibTeX RDF |
|
23 | G. Battani, J. C. Guzmán, A. Márquez, M. J. Peyer |
Mod-PROLOG, a modular, microcomputer oriented PROLOG. |
SIGSMALL |
1983 |
DBLP DOI BibTeX RDF |
|
23 | Michael J. Wise |
EPILOG = PROLOG + Data Flow: Arguments for Combining PROLOG with a Data Driven Mechanism. |
ACM SIGPLAN Notices |
1982 |
DBLP DOI BibTeX RDF |
|
21 | Paulo Moura, Paul Crocker, Paulo Nunes |
High-Level Multi-threading Programming in Logtalk. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
concurrency, logic-programming, threads |
21 | Laleh Mousavi Eshkevari, Venera Arnaoudova, Constantinos Constantinides |
Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
declarative reasoning, AspectJ programming language, static analysis, aspect-oriented programming, Program comprehension, dependency analysis |
21 | Sagar Sen, Benoit Baudry, Hans Vangheluwe |
Domain-Specific Model Editors with Model Completion. |
MoDELS (Workshops) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Salvador Abreu, Vítor Nogueira |
Towards Structured Contexts and Modules. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Henning Christiansen 0001, Verónica Dahl |
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Walter G. Wilson |
Use of Logic Programming for Complex Business Rules. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Pascual Julián Iranzo, Christian Villamizar Lamus |
Analysing Definitional Trees: Looking for Determinism. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming |
21 | Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro |
Constructive Intensional Negation. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation |
21 | Linh Anh Nguyen |
The Modal Logic Programming System MProlog. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Loredana Laera, Valentina A. M. Tamma, Trevor J. M. Bench-Capon, Giovanni Semeraro |
SweetProlog: A System to Integrate Ontologies and Rules. |
RuleML |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Bernd Fischer 0002, Eelco Visser |
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. |
Domain-Specific Program Generation |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Alejandro Zunino, Marcelo Campo, Cristian Mateos |
Simplifying Mobile Agent Development through Reactive Mobility by Failure. |
SBIA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Eric Martin 0002, Phuong Minh Nguyen, Arun Sharma 0001, Frank Stephan 0001 |
Learning in Logic with RichProlog. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo |
Efficient Negation Using Abstract Interpretation. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming |
21 | Kalyan Muthukumar, Gautam Doshi |
Software Pipelining of Nested Loops. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Sanjay Modgil, Peter Hammond |
Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans. |
AIME |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Jan Murray, Oliver Obst, Frieder Stolzenburg |
RoboLog Koblenz 2000. |
RoboCup |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Arvind K. Bansal, Peer Bork |
Applying Logic Programming to Derive Novel Functional Information of Genomes. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
21 | José C. Cunha, Vítor Duarte |
Monitoring PVM Programs Using the DAMS Approach. |
PVM/MPI |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Bart Demoen, Konstantinos Sagonas |
CAT: The Copying Approach to Tabling. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Steven Dawson, C. R. Ramakrishnan 0001, Steven Skiena, Terrance Swift |
Principles and Practice of Unification Factoring. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
trie minimization, logic programming, indexing, unification |
21 | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
Implementing Deductive Databases by Mixed Integer Programming. |
ACM Trans. Database Syst. |
1996 |
DBLP DOI BibTeX RDF |
negation and disjunction in deductive databases, minimal models |
21 | Petros Kefalas, Ioannis P. Vlahavas |
Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Teresa Roselli, Antonietta Di Donfrancesco, Stefania Loverro |
HyperPro: an intelligent hypermedia system for learning logic programming. |
AVI |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Nam Ling |
A special purpose formal verifier for systolic designs in DSP applications. |
J. VLSI Signal Process. |
1995 |
DBLP DOI BibTeX RDF |
|
21 | M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar |
Verification Tools in the Development of Provably Correct Compilers. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Chris Fickert, Thomas A. Sudkamp |
Unification based FP interpreters. |
ACM SIGPLAN Notices |
1992 |
DBLP DOI BibTeX RDF |
FP |
21 | Ulrich Neumerkel |
Pruning Infinite Failure Branches in Programs with Occur-Check. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Isabelle Attali, Jacques Chazarain, Serge Gilette |
Incremental Evaluation of Natural Semantics Specification. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Luís Moniz Pereira, Luís Caires, José Júlio Alferes |
SLWV - A Theorem Prover for Logic Programming. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
21 | James R. Cordy, Medha Shukla |
Practical metaprogramming. |
CASCON |
1992 |
DBLP BibTeX RDF |
|
21 | Xumin Nie |
How Well Are Non-Horn Clauses Handled? |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Philippe Codognet |
Equations, Disequations and Unsolvable Subsets (abstract). |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
21 | D. M. Sherman |
Expert Systems and ICAI in Tax Law: Killing Two Birds with One AI Stone. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Mohammed M. Haque, Allen A. Rovick, Joel A. Michael, Martha W. Evens |
Tutoring Rule Authoring System (TRAS). |
ICCAL |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Thom W. Frühwirth |
Type inference by program transformation and partial evaluation. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Robert A. Schmitt |
A reconfigurable software style expert system (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Wen-Kai Chung, William B. Day |
The process allocation in parallel interpretation of logic programs (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Keith L. Clark |
PARLOG: The Language and Its Applications. |
PARLE (2) |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Masayuki Numao |
Update Propagation Network - A Framework for Constraint Programming. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Ulrich Löwen |
Optimization Aspects of Logical Formulas. |
CSL |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Péter Szeredi |
Perspectives of logic programming. |
IMYCS |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Norman E. Sondak |
Integrating PC's into the information center (session overview). |
ACM Conference on Computer Science |
1985 |
DBLP DOI BibTeX RDF |
|
21 | Masahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-Oka |
Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández |
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
hereditary harrop formulas, constraints, prolog, deductive databases, fixpoint semantics, stratification |
19 | Stefan Gruner |
From use cases to test cases via meta model-based reasoning. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Prolog, Use cases, Meta model, Test cases |
19 | Mark D. Wood |
Exploiting Semantics for Personalized Story Creation. |
ICSC |
2008 |
DBLP DOI BibTeX RDF |
automated albuming, automated multimedia creation, image management, Prolog, story generation, triple store |