Search results for "Prolog"

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