Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig	WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation.	RuleML	2009	DBLP DOI BibTeX RDF
25	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	A practical type analysis for verification of modular prolog programs.	PEPM	2008	DBLP DOI BibTeX RDF	modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types
25	Grzegorz J. Nalepa	Prototype Prolog API for Mindstorms NXT.	KI	2008	DBLP DOI BibTeX RDF
25	Tom Schrijvers, Bart Demoen	Uniting the Prolog Community.	ICLP	2008	DBLP DOI BibTeX RDF
25	Gergely Lukácsy, Péter Szeredi, Balázs Kádár	Prolog Based Description Logic Reasoning.	ICLP	2008	DBLP DOI BibTeX RDF	logic programming, description logic, resolution, large data sets
25	Piotr Matyasik, Grzegorz J. Nalepa, Piotr Ziecik	Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot.	KI	2007	DBLP DOI BibTeX RDF
25	Levente Hunyadi	Prosper: A Framework for Extending Prolog Applications with a Web Interface.	ICLP	2007	DBLP DOI BibTeX RDF	application development framework, web integration
25	Grzegorz J. Nalepa, Igor Wojnicki	Visual Generalized Rule Programming Model for Prolog with Hybrid Operators.	INAP/WLP	2007	DBLP DOI BibTeX RDF
25	Michel Wermelinger, Artur Miguel Dias	A prolog toolkit for formal languages and automata.	ITiCSE	2005	DBLP DOI BibTeX RDF
25	Jan Wielemaker	An Optimised Semantic Web Query Language Implementation in Prolog.	ICLP	2005	DBLP DOI BibTeX RDF
25	Ryo Fukuhara, Tomoharu Matsunaka, Kazutaka Kitamori	Automatic generation of simulation program by XML-prolog.	WSC	2005	DBLP BibTeX RDF
25	Stephen-John Craig, Michael Leuschel	Self-tuning resource aware specialisation for prolog.	PPDP	2005	DBLP DOI BibTeX RDF
25	Dávid Hanák, Tamás Szeredi, Péter Szeredi	FDBG, the CLPFD Debugger Library of SICStus Prolog.	ICLP	2004	DBLP DOI BibTeX RDF
25	Christoph Beierle, Marija Kulas, Manfred Widera	A Pragmatic Approach to Pre-testing Prolog Programs.	INAP/WLP	2004	DBLP DOI BibTeX RDF
25	Michael Backes 0001, Markus Dürmuth, Günter Karjoth	Unification in Privacy Policy Evaluation - Translating EPAL into Prolog.	POLICY	2004	DBLP DOI BibTeX RDF
25	Jan Wielemaker, Guus Schreiber, Bob J. Wielinga	Prolog-Based Infrastructure for RDF: Scalability and Performance.	ISWC	2003	DBLP DOI BibTeX RDF
25	Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer	An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment.	MKM	2003	DBLP DOI BibTeX RDF
25	Michael Gelfond	Representing Knowledge in A-Prolog.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
25	Henning Makholm	A Region-Based Memory Manager for Prolog.	ISMM	2000	DBLP DOI BibTeX RDF
25	Fausto Spoto, Giorgio Levi	Abstract Interpretation of Prolog Programs.	AMAST	1998	DBLP DOI BibTeX RDF
25	Adam Mrózek, Krzysztof Skabek	Rough Rules in Prolog.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF
25	Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla	Global Analysis of Standard Prolog Programs.	ESOP	1996	DBLP DOI BibTeX RDF	Optimization, Logic Programming, Abstract Interpretation
25	Thomas Lindgren, Johan Bevemyr, Håkan Millroth	Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor.	Euro-Par	1995	DBLP DOI BibTeX RDF
25	Johan Bevemyr, Thomas Lindgren	A Simple and Efficient Copying Garbage Collector for Prolog.	PLILP	1994	DBLP DOI BibTeX RDF
25	Gilberto Filé, Sabina Rossi	Static Analysis of Prolog with Cut.	LPAR	1993	DBLP DOI BibTeX RDF
25	Johan Bevemyr, Thomas Lindgren, Håkan Millroth	Exploiting Recursion-Parallelism in Prolog.	PARLE	1993	DBLP DOI BibTeX RDF
25	Carlos Escalante	A simple model of prolog's performance: extensional predicates.	CASCON	1993	DBLP BibTeX RDF
25	Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck	Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation.	PLILP	1992	DBLP DOI BibTeX RDF
25	Paul Tarau	BinProlog: a Continuation Passing Style Prolog Engine.	PLILP	1992	DBLP DOI BibTeX RDF
25	Gopal Gupta 0001, Vítor Santos Costa	And-Or Parallelism in Full Prolog with Paged Binding Arrays.	PARLE	1992	DBLP DOI BibTeX RDF
25	Costas Mourlas, Constantin Halatsis	Extensions to a Parallel Prolog System to Support Real-Time Applications.	PARLE	1992	DBLP DOI BibTeX RDF
25	Baudouin Le Charlier, Pascal Van Hentenryck	Experimental evaluation of a generic abstract interpretation algorithm for Prolog.	ICCL	1992	DBLP DOI BibTeX RDF
25	Bart Demoen, André Mariën	Implementation of Prolog as Binary Definite Programs.	RCLP	1991	DBLP DOI BibTeX RDF
25	Gustaf Neumann	A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation.	RCLP	1991	DBLP DOI BibTeX RDF
25	Evgeny L. Kitaev	Processing of Ground Regular Terms in PROLOG.	RCLP	1991	DBLP DOI BibTeX RDF
25	Dan Sahlin	Finding the Least Fixed Point Using Wait-Declarations in Prolog.	PLILP	1990	DBLP DOI BibTeX RDF
25	Serge Le Huitouze	A New Data Structure for Implementing Extensions to Prolog.	PLILP	1990	DBLP DOI BibTeX RDF
25	Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe	Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism.	ESOP	1990	DBLP DOI BibTeX RDF
25	Egon Börger, Dean Rosenzweig	From Prolog Algebras Towards WAM - A Mathematical Study of Implementation.	CSL	1990	DBLP DOI BibTeX RDF
25	Egon Börger, Peter H. Schmitt	A Formal Operational Semantics for Languages of Type Prolog III.	CSL	1990	DBLP DOI BibTeX RDF
25	Antonio Brogi, Roberto Gorrieri	A Distributed, Net Oriented Semantics for Delta Prolog.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
25	Bogumil Hausman	Pruning and Scheduling Speculative Work in Or-Parallel Prolog.	PARLE (2)	1989	DBLP DOI BibTeX RDF
25	Jacques Chassin de Kergommeaux, Uri Baron, Wolfgang Rapp, Michael Ratcliffe	Performance Analysis of a Parallel Prolog: A Correlated Approach.	PARLE (2)	1989	DBLP DOI BibTeX RDF
25	Balkrishna Ramkumar, Laxmikant V. Kalé	An Abstract Machine for the Reduce-OR Process Model for Parallel Prolog.	KBCS	1989	DBLP DOI BibTeX RDF
25	Laurent Fribourg	Functional Extensions to Prolog: Are they Needed?	ALP	1988	DBLP DOI BibTeX RDF
25	Jirí Polák, S. P. Guest	A graphical representation of the Prolog programmer's knowledge.	Informatics and Psychology Workshop	1988	DBLP DOI BibTeX RDF
25	Rainer Manthey, François Bry	SATCHMO: A Theorem Prover Implemented in Prolog.	CADE	1988	DBLP DOI BibTeX RDF
25	Joost N. Kok	A Compositional Semantics for Concurrent Prolog.	STACS	1988	DBLP DOI BibTeX RDF
25	Peter M. D. Gray, David S. Moffat, Norman W. Paton	A Prolog Interface to a Functional Data Model Database.	EDBT	1988	DBLP DOI BibTeX RDF
25	Zsuzsa Farkas	LISTLOG - A Prolog Extension for List Processing.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
25	Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure	Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
25	Paola Mello, Antonio Natali	Objects as Communicating Prolog Units.	ECOOP	1987	DBLP DOI BibTeX RDF
25	Hans Tebra	Optimistic And-Parallelism in Prolog.	PARLE (2)	1987	DBLP DOI BibTeX RDF
25	Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel	Application of Prolog to Test Sets Generation from Algebraic Specifications.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
25	Kuniaki Uehara, Takashi Kakiuchi, Osamu Mikami, Jun'ichi Toyoda	Extended Prolog and Ints Application to an Integrated Parser for Text Understanding.	LP	1985	DBLP DOI BibTeX RDF
25	Jiro Tanaka, Takashi Yokomori, Makoto Kishishita	AND-OR Queuing in Extended Concurrent Prolog.	LP	1985	DBLP DOI BibTeX RDF
24	Jiro Naganuma, Takeshi Ogura	A Highly OR-Parallel Inference Machine (Multi-ASCA) and Its Performance Evaluation: An Architecture and Its Load Balancing Algorithms.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	highly OR-parallel inference machine, Multi-ASCA, serial I/O links, modified mesh network, high-speed sequential Prolog processor, locally controlled activity, software simulator, inference tree, OR-parallel benchmarks, n-queens problem, copying method, high-performance artificial intelligence system, nonshared memory multiprocessor system, 20 Mbit/s, performance evaluation, performance evaluation, VLSI, resource allocation, parallel architectures, parallel architecture, virtual machines, PROLOG, parallel machines, inference mechanisms, trace-driven simulation, communication overhead, processing elements, local memory, local communication, load balancing algorithms
24	Gruia-Catalin Roman	Formal Specification of Geographic Data Processing Requirements.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	geographic data processing requirements, modeling data, knowledge requirements, GDP requirements, GDP significance, second-order predicate calculus, logical information, high-resolution color display, formal specification, geographic information systems, logic programming, Prolog, PROLOG, time, accuracy, first-order logic, inference mechanisms, inference mechanisms, space, formal logic, prototype implementation, graphical rendering, formal foundation
24	Y. C. Yang, M. C. Liu, Jeffery K. Cochran	Knowledge-Based Scheduling for Flexible Manufacturing Systems.	IEA/AIE (Vol. 2)	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
24	Masanobu Matsuo, Ko Arima, Frederick E. Freiheit IV, Ken Hubbard	Logic Programmable Natural Language Processor of a Knowledge-Base Management System.	IEA/AIE (Vol. 2)	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
24	S. S. Hyder, A. Khoujah	Character Recognition of Cursive Scripts.	IEA/AIE (Vol. 2)	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
24	D. Vakil, Mehdi R. Zargham	An Expert System for Channel Routing.	IEA/AIE (Vol. 2)	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
24	James Paul Vita	An Object-Oriented Approach to Switching Circuit Minimization.	IEA/AIE (Vol. 2)	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
23	Thomas J. Bensky, Catherine A. Taff	Computer-Guided Solutions to Physics Problems Using Prolog.	Comput. Sci. Eng.	2010	DBLP DOI BibTeX RDF	computer tutorial, Artificial intelligence, Prolog, physics, kinematics
23	Arthur C. Fleck	Prolog as the first programming language.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	first programming language, logic programming, prolog
23	Tim Menzies, Lindsay Mason	Some prolog macros for rule-based programming: why? how?	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	prolog, history, rule-based programming
23	Aliy Fowler	Web-based CALL using prolog.	ITiCSE	2001	DBLP DOI BibTeX RDF	Prolog
23	Mária Bieliková, Pavol Návrat	Learning Programming in Prolog Using Schemata.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	Prolog
23	Fatima Z. Mansouri, Colin A. Higgins	Prolog: An Annotated Bibliography.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	Prolog
23	David J. Russomanno	The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer Graphics.	COMPSAC	1995	DBLP DOI BibTeX RDF	AI Tools, Graphics Migration, AM/FM, PROLOG, Data Migration
23	Koenraad De Bosschere, Paul Tarau	High performance continuation passing style Prolog-to-C mapping.	SAC	1994	DBLP DOI BibTeX RDF	binary logic programs, continuation based compilation, Prolog, program transformation
23	Alireza Azem, Fevzi Belli	Reliability Prediction of Prolog Programs.	IEA/AIE	1994	DBLP BibTeX RDF	Prolog
23	Kelly G. Price, Kai H. Chang, William B. Day	DDL: A Parallel Implementation of Prolog.	IEA/AIE	1994	DBLP BibTeX RDF	Prolog
23	Alan Finlay, Lloyd Allison	A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	Prolog
23	Richard Rankin, Ralph W. Wilkerson	Finding Fixed Point Combinators Using Prolog.	SAC	1993	DBLP DOI BibTeX RDF	Prolog
23	Maurizio Proietti, Alberto Pettorossi	Semantics Preserving Transformation Rules for Prolog.	PEPM	1991	DBLP DOI BibTeX RDF	Prolog
23	Dan Sahlin	Determinacy Analysis for Full Prolog.	PEPM	1991	DBLP DOI BibTeX RDF	Prolog
23	Vítor Santos Costa, David H. D. Warren, Rong Yang	Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism.	PPoPP	1991	DBLP DOI BibTeX RDF	Prolog
23	John Van Tassel, David Hemmendinger	Specifying and Automatically Generating Ada Tasks in Prolog.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Ada, Prolog
23	Marwan A. Jabri	BREL - a Prolog Knowledge-based System Shell for VLSI CAD.	DAC	1990	DBLP DOI BibTeX RDF	Prolog
23	Peter Van Roy	A useful extension to Prolog's definite clause grammar notation.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Prolog
23	Andreas Zell, Thomas Bräunl	An alternative Prolog search strategy.	IEA/AIE (2)	1989	DBLP DOI BibTeX RDF	Prolog
23	Victor B. Schneider	A pedagogic expert system shell in Prolog.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog
23	David Hemmendinger	The 'Hamming' in Prolog.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog
23	David Hemmendinger	The "Hamming problem" in Prolog.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog
23	Alexander C. Papaspyrdis	A Prolog-Based Connectivity Verification Tool.	DAC	1988	DBLP BibTeX RDF	Prolog
23	Thomas W. Jerardi	Puzzles, PROLOG amd Logic.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Prolog
23	Gregers Koch	Prolog in the automation of the semantic component.	SIGCSE	1987	DBLP DOI BibTeX RDF	Prolog
23	Ashok Kumar, Vishv M. Malhotra	A Look-Ahead Interpreter for Sequential Prolog and Its Implementation.	FSTTCS	1987	DBLP DOI BibTeX RDF	Prolog, Interpreter, Look-ahead
23	José A. Riaza	Tau Prolog: A Prolog Interpreter for the Web.	Theory Pract. Log. Program.	2024	DBLP DOI BibTeX RDF
23	José Antonio Riaza Valverde	Tau Prolog: A Prolog interpreter for the Web.	CoRR	2023	DBLP DOI BibTeX RDF
23	Sibylle Schwarz, Mario Wenzel	ev3dev-prolog - Prolog API for LEGO EV3.	GI-Jahrestagung (Workshops)	2019	DBLP DOI BibTeX RDF
23	Afroditi Stathaki, Haridimos Kondylakis, Emmanouil I. Marakakis, Michael Kalogerakis	i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog.	ArtsIT/DLI	2017	DBLP DOI BibTeX RDF
23	Theofrastos Mantadelis	Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren). (PDF / PS)		2012	RDF
23	Tzanko Golemanov, Kostadin Kratchanov, Emilia Golemanova	Spider vs. Prolog: simulating Prolog in Spider.	CompSysTech	2009	DBLP DOI BibTeX RDF
23	Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero	Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering.	PROLE	2008	DBLP DOI BibTeX RDF
23	Alexander Serebrenik, Tom Schrijvers, Bart Demoen	Improving Prolog programs: Refactoring for Prolog.	Theory Pract. Log. Program.	2008	DBLP DOI BibTeX RDF
23	François Gobert	Towards putting abstract interpretation of prolog into practice: design, implementation, and evaluation of a tool to verify and optimise prolog programs.		2008	RDF
23	Alexander Serebrenik, Tom Schrijvers, Bart Demoen	Improving Prolog programs: Refactoring for Prolog	CoRR	2007	DBLP BibTeX RDF
23	Tom Schrijvers, Alexander Serebrenik	Improving Prolog Programs: Refactoring for Prolog	CoRR	2004	DBLP BibTeX RDF