Search results for "Prolog"

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