Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Gopalan Nadathur	The Metalanguage lambda-Prolog and Its Implementation.	FLOPS	2001	DBLP DOI BibTeX RDF
32	Juan José Moreno-Navarro, Susana Muñoz-Hernández	How to Incorporate Negation in a Prolog Compiler.	PADL	2000	DBLP DOI BibTeX RDF	Semantics of Negation, Implementation of Negation, Global Analysis
32	Lourdes Araujo	Towards Full Prolog on a Distributed Architecture.	Euro-Par	1997	DBLP DOI BibTeX RDF
32	Roberto Barbuti, Paolo Mancarella	A Multiple-Valued Logical Semantics for Prolog.	ESOP	1996	DBLP DOI BibTeX RDF
32	François Jacquenet, Irène Foucherot	A new logical view of knowledge manipulation with PROLOG.	ANZIIS	1996	DBLP DOI BibTeX RDF
32	Andreas Nonnengart	How to Use Modalities and Sorts in Prolog.	JELIA	1994	DBLP DOI BibTeX RDF
32	Jonas Barklund, Johan Bevemyr	Prolog with Arrays and Bounded Quantifications.	LPAR	1993	DBLP DOI BibTeX RDF
32	Dale Miller 0001	A Proposal for Modules in Lambda-Prolog.	ELP	1993	DBLP DOI BibTeX RDF
32	Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi	A Theory of First-Order Built-in's of Prolog.	ALP	1992	DBLP DOI BibTeX RDF
32	Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher	Oracle Semantics for Prolog.	ALP	1992	DBLP DOI BibTeX RDF
32	Mireille Ducassé	A General Trace Query Mechanism Based on Prolog.	PLILP	1992	DBLP DOI BibTeX RDF
32	Michael J. Wise	Message-Brokers and Communicating Prolog Processes.	PARLE	1992	DBLP DOI BibTeX RDF
32	T. J. Reynolds, Petros Kefalas	BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence.	RCLP	1991	DBLP DOI BibTeX RDF
32	Wai-Keong Foong	Or-Parallel Prolog with Heuristic Task Distribution.	RCLP	1991	DBLP DOI BibTeX RDF
32	P. H. Cheong, Laurent Fribourg	Efficient Integration of Simplifications into Prolog.	PLILP	1991	DBLP DOI BibTeX RDF
32	Péter Szeredi, Rong Yang, Mats Carlsson	Interfacing Engines and Schedulers in OR-Parallel Prolog Systems.	PARLE (2)	1991	DBLP DOI BibTeX RDF	Or-Parallel Execution, Scheduling, Multiprocessors, Implementation Techniques
32	Arie de Bruin, Erik P. de Vink	Continuation Semantics for PROLOG with Cut.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
32	Michael Hanus	Formal Specification of a Prolog Compiler.	PLILP	1988	DBLP DOI BibTeX RDF
32	Jean G. Vaucher, Guy Lapalme, Jacques Malenfant	SCOOP, Structured Concurrent Object-Oriented Prolog.	ECOOP	1988	DBLP DOI BibTeX RDF
32	Kenji Horiuchi, Tadashi Kanamori	Polymorphic Type Inference in Prolog by Abstract Interpretation.	LP	1987	DBLP DOI BibTeX RDF
32	Jiro Tanaka, Makoto Kishishita	Compiling Extended Concurrent Prolog - Single Queue Compilation.	ESOP	1986	DBLP DOI BibTeX RDF
32	Ken'ichi Kakizaki, Kuniaki Uehara, Jun'ichi Toyoda	Development of C-Prolog Compiler.	LP	1986	DBLP DOI BibTeX RDF
32	Kiyoshi Akama	Inheritance Hierarchy Mechanism in Prolog.	LP	1986	DBLP DOI BibTeX RDF
32	Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa	An Optimizing Prolog Compiler.	LP	1986	DBLP DOI BibTeX RDF
32	Shinji Yokoi	A Prolog Based Object Oriented Language SPOOL and its Compiler.	LP	1986	DBLP DOI BibTeX RDF
32	Yasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta	A Parallel Logic Simulator Based on Concurrent Prolog.	LP	1985	DBLP DOI BibTeX RDF
32	K. Nakamura	Heuristic Prolog: Logic Program Execution by Heuristic Search.	LP	1985	DBLP DOI BibTeX RDF
32	Hidehisa Takahashi, Etsuya Shibayama	PRESET - A Debugging Environment for Prolog.	LP	1985	DBLP DOI BibTeX RDF
32	Masayuki Numao, H. Maruyama	PROEDIT - A Screen Oriented Prolog Programming Environment.	LP	1985	DBLP DOI BibTeX RDF
32	Henryk Jan Komorowski	Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog.	POPL	1982	DBLP DOI BibTeX RDF
31	Ralf Hinze	Deriving backtracking monad transformers.	ICFP	2000	DBLP DOI BibTeX RDF	Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
31	Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil	Multilanguage Interoperability in Distributed Systems.	ICSE	1996	DBLP BibTeX RDF	Ada client program, Arcadia software architecture, C language server, Q system, multilanguage interoperability, multilingual heterogeneous component-based software systems, programming language support systems, Java, performance, distributed systems, reliability, C++, PROLOG, Prolog, conceptual model, software reliability, LISP, Lisp, open systems, object-oriented languages, portability, client-server systems, software portability, C language, Tcl, communication mechanism
31	Tam M. Nguyen, Vason P. Srini, Alvin M. Despain	A two-tier memory architecture for high-performance multiprocessor systems.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, Prolog, CRAY X-MP
31	Kwa-Sur Tam, Michael Besso, Renuka Racha	Computer-generated Design of Electric Circuits.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
31	Perry M. Kosieniak, Victor Mathis, Michael St. Jacques, Delano Stevens	The Network Control Assistant (NCA), a Real-Time Prototype Expert System for Network Management.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	Prolog, Prolog, IBM PC
30	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	Test frame updating in CPM testing of Prolog programs.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	CPM testing, Prolog programs, Call patterns semantics, Test frame reduction, Test frame refinement
30	Athanasios K. Tsadiras	A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive Maps.	SETN	2008	DBLP DOI BibTeX RDF	Simulation, Predictions, Prolog, Decision Making, Fuzzy Cognitive Maps
30	Jirí Vyskocil, Petr Stepánek	Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.	MICAI	2007	DBLP DOI BibTeX RDF	unfold/fold transformation, homeomorphic embedding, logic programming, prolog, partial deduction
30	Soyoung Kwon	A parsing algorithm for Korean implemented in Prolog.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	unification-based grammar, Prolog, parsing, dependency grammar
30	Berndt Farwer, Michael Leuschel	Model checking object petri nets in prolog.	PPDP	2004	DBLP DOI BibTeX RDF	model checking, compilation, animation, prolog, object petri nets
30	Gopal Gupta 0001, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo	Parallel execution of prolog programs: a survey.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	parallelism, logic programming, prolog, constraint programming, Automatic parallelization
30	Bart Demoen, Konstantinos Sagonas	Memory Management for Prolog with Tabling.	ISMM	1998	DBLP DOI BibTeX RDF	Prolog
30	Fatima Z. Mansouri, Cleveland Augustine Gibbon, Colin A. Higgins	PRAM: prolog automatic marker.	ITiCSE	1998	DBLP DOI BibTeX RDF	complexity, education, testing, metrics, Prolog, correctness, style, automatic marking
30	Philip J. Morrow, Danny Crookes	Using Prolog to implement a compiler for a parallel image processing language.	ICIP	1995	DBLP DOI BibTeX RDF	parallel image processing language, BNF syntax definition, image processing, compiler, parallel architectures, parallel architectures, PROLOG, programming languages, program compilers, parallel languages, software portability, software portability, abstract model, implementation language
30	Baudouin Le Charlier, Pascal Van Hentenryck	Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop.	PEPM	1993	DBLP DOI BibTeX RDF	Prolog
30	Donna M. Kaminski	Introducing the fuzzy paradigm using Prolog.	SIGCSE	1992	DBLP DOI BibTeX RDF	Prolog
30	Claudio Delrieux, Pablo R. Azero Alcocer, Fernando Tohmé	Toward integrating imperative and logic programming paradigms: WYSIWYG approach to PROLOG programming.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	Prolog
30	Peter Greenfield	Bagof/3 to ZF expression: an example prolog application manually translated to Miranda.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	non-deterministic programming, logic programming, prolog, functional programming, Miranda
30	R. Ramesh 0001, I. V. Ramakrishnan, David Scott Warren	Automata-Driven Indexing of Prolog Clauses.	POPL	1990	DBLP DOI BibTeX RDF	Prolog
30	Chunsik Yi, Steven Graham	Real-Time Reasoning with PROLOG.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog
30	Kam-Fai Wong, M. Howard Williams	CLARE - A Prolog Database Machine.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog
30	Mark Tarver	An Examination of the Prolog Technology Theorem-Prover.	CADE	1990	DBLP DOI BibTeX RDF	PTTP, metalevel reasoning, Prolog Normal Form, refinement
30	D. Sarma, C. P. Wu	Pipelined OR-Parallelism Architecture for Parallel Execution of Prolog.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
30	Tim Nicholson, Norman Y. Foo	A Denotational Semantics for Prolog.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF	Prolog
30	Michael Brady	A direct execution architecture for Prolog?	MICRO	1989	DBLP DOI BibTeX RDF	Prolog
30	David R. Beuerman	PROREL: a Prolog-based system for relational algebra and data base.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Prolog
30	Ashok Singhal, Yale N. Patt	Implementing a Prolog machine with multiple functional units.	MICRO	1988	DBLP BibTeX RDF	Prolog
30	H. Azzoune	Type Inference in Prolog.	CADE	1988	DBLP DOI BibTeX RDF	Prolog, Type, Type Inference
30	D. M. Sherman	A Prolog Model of the Income Tax Act of Canada.	ICAIL	1987	DBLP DOI BibTeX RDF	Prolog
30	Andreas Krall	Implementation of a high-speed Prolog interpreter.	PLDI	1987	DBLP DOI BibTeX RDF	Prolog
30	Yoshihiro Tohma, Kenji Goto	Test Generation for Large-Scale Combinational Circuits by Using Prolog.	LP	1987	DBLP DOI BibTeX RDF	Test, Prolog, Knowledge, Module, Acceleration
30	Marc Bergman, Pierre Deransart	Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog.	CAAP	1981	DBLP DOI BibTeX RDF	proof of equational properties, Knuth-Bendix algorithm, PROLOG, operational semantics, Abstract Data Type, rewriting systems
30	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	Integrating an Answer Set Solver into Prolog: ASP-PROLOG.	LPNMR	2005	DBLP DOI BibTeX RDF
30	Enrico Denti, Andrea Omicini, Alessandro Ricci	tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures.	PADL	2001	DBLP DOI BibTeX RDF
30	Nicos Angelopoulos, James Cussens	Prolog Issues and Experimental Results of an MCMC Algorithm.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
28	Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández	Implementing Constructive Intensional Negation.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
28	Konstantine Arkoudas, Olin Shivers	Trusted Theorem Proving: A Case Study in SLD-Resolution.	ISoLA	2008	DBLP DOI BibTeX RDF
28	Michel Ferreira, Nuno A. Fonseca, Ricardo Rocha 0001, Tiago Soares	Efficient and Scalable Induction of Logic Programs Using a Deductive Database System.	ILP	2006	DBLP DOI BibTeX RDF	Performance, Implementation, Deductive Databases
28	Oliver Ray	The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.	ICLP	2005	DBLP DOI BibTeX RDF
28	Marcello Balduccini	USA-Smart: Improving the Quality of Plans in Answer Set Planning.	PADL	2004	DBLP DOI BibTeX RDF	Planning, preferences, answer set programming
28	Luís Fernando Castro, David Scott Warren	Approximate Pruning in Tabled Logic Programming.	ESOP	2003	DBLP DOI BibTeX RDF
28	Salvador Abreu, Daniel Diaz 0001	Objective: In Minimum Context.	ICLP	2003	DBLP DOI BibTeX RDF
28	Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga	Logic Programming for Agents.	PRICAI	2002	DBLP DOI BibTeX RDF
28	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Achieving Scalability in Parallel Tabled Logic Programs.	IPDPS	2002	DBLP DOI BibTeX RDF	Tabling, Parallel Logic Programming
28	Baoqiu Cui, Terrance Swift, David Scott Warren	A Case Study in Using Preference Logic Grammars for Knowledge Representations.	LPNMR	1999	DBLP DOI BibTeX RDF
28	Hong Chen, Jieh Hsiang	Logic Programming with Recurrence Domains.	ICALP	1991	DBLP DOI BibTeX RDF
28	Christoph Beierle, Egon Börger	Correctness Proof For the WAM with Types.	CSL	1991	DBLP DOI BibTeX RDF
28	Barry L. Kurtz, Cathy Cavendish, Byron Thatcher	Circuit World An Intelligent Simulation System For Digital Logic.	ICCAL	1989	DBLP DOI BibTeX RDF
28	Pierre Deransart, Jan Maluszynski	A Grammatical View of Logic Programming.	PLILP	1988	DBLP DOI BibTeX RDF
28	Mary Micco	An undergraduate curriculum in expert systems design or knowledge engineering.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
28	Jia-Huai You, P. A. Subrahmanyam	Equational Logic Programming: An Extension to Equational Programming.	POPL	1986	DBLP DOI BibTeX RDF
28	Hassan Aït-Kaci, Roger Nasr	Logic and Inheritance.	POPL	1986	DBLP DOI BibTeX RDF
26	Ralf Lämmel	Scrap your boilerplate: prologically!	PPDP	2009	DBLP DOI BibTeX RDF	scrap your boilerplate, prolog, haskell, stratego
26	Paul Tarau	An embedded declarative data transformation language.	PPDP	2009	DBLP DOI BibTeX RDF	computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph
26	Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark	DARE: a system for distributed abductive reasoning.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Distributed inference, Multi-thread Prolog, Abduction
26	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Comparing tag scheme variations using an abstract machine generator.	PPDP	2008	DBLP DOI BibTeX RDF	Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
26	Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine	The Ecce and Logen partial evaluators and their web interfaces.	PEPM	2006	DBLP DOI BibTeX RDF	logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction
26	Igor Wojnicki, Antoni Ligeza	Jelly view: a technology for arbitrarily advanced queries within RDBMS.	SAC	2005	DBLP DOI BibTeX RDF	intensional knowledge, prolog, deductive database, RDBMS, recursive queries
26	Michel Ferreira, Luís Damas	WAM Local Analysis.	PADL	2003	DBLP DOI BibTeX RDF	Prolog Compilation, Multiple Specialization, Abstract Interpretation
26	Antonio Brogi, Gianluca Caruso	From Subject Directories to Subject Meta-directories via Declarative Programming.	PADL	2001	DBLP DOI BibTeX RDF	subject directories, Prolog, Web-programming
26	Gudjon Gudjonsson, William H. Winsborough	Compile-time memory reuse in logic programming languages through update in place.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	compile-time garbage collection, local reuse, reuse map, update in place, Prolog
26	Konstantinos Sagonas, Terrance Swift	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	SLG, memoing, stratification theories, prolog, tabling, WAM
26	Ioannis P. Vlahavas, Nick Bassiliades, Ilias Sakellariou, Martín Molina, Sascha Ossowski, Ivan Futó, Zoltán Pásztor, János Szeredi, Igor Velbitskiy, Sergey Yershov, Sergey Golub, Igor Netesin	System Architecture of a Distributed Expert System for the Management of a National Data Network.	AIMSA	1998	DBLP DOI BibTeX RDF	distributed expert systems, distributed prolog, agents, network management
26	Paul Tarau, Ulrich Neumerkel	A Novel Term Compression Scheme and Data Representation in the BinWAM.	PLILP	1994	DBLP DOI BibTeX RDF	implementation of Prolog, term representation, last argument overlapping, continuation passing style, WAM
26	S. Ivanets, N. Ilinsky, M. Krylov	WAM Specification for Parallel Execution on SIMD Computer.	RCLP	1991	DBLP DOI BibTeX RDF	parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer
26	Benjamin Bell, Louis-François Pau	Contour Tracking and Corner Detection in a Logic Programming Environment.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	Prolog predicates, logic programming, computerised picture processing, computerised pattern recognition, computerised pattern recognition, unification, backtracking, corner detection, parameter selection, contour tracking, logic programming environment
26	Hiromitsu Shirakawa, Hitoshi Ogawa, Masayuki Fujiwara	A Dedicated Small Computer for Artificial Intelligence.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog, Common Lisp
26	Sanjay Manchanda	Declarative Expression of Deductive Database Updates.	PODS	1989	DBLP DOI BibTeX RDF	Prolog
25	Marcello Balduccini	CR-Prolog as a Specification Language for Constraint Satisfaction Problems.	LPNMR	2009	DBLP DOI BibTeX RDF
25	Pascual Julián Iranzo, Clemente Rubio-Manzano	A declarative semantics for Bousi~Prolog.	PPDP	2009	DBLP DOI BibTeX RDF	fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics