Search results for "SLP"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Sten-Åke Tärnlund	Logic Programming-From a Logic Point of View.	SLP	1986	DBLP BibTeX RDF
21	Pier Giorgio Bosco, Elio Giovannetti	IDEAL: An Ideal Deductive Applicative Language.	SLP	1986	DBLP BibTeX RDF
21	M. L. Ross, Kotagiri Ramamohanarao	Paging Strategy for Prolog Based Dynamic Virtual Memory.	SLP	1986	DBLP BibTeX RDF
21	Maurice Bruynooghe, Danny De Schreye, Bruno Krekels	Compiling Control. (long version: JLP 6(1&2): 135-162)	SLP	1986	DBLP BibTeX RDF
21	Heikki Mannila, Esko Ukkonen	Timestamped Term Representation for Implementing Prolog.	SLP	1986	DBLP BibTeX RDF
21	Dale Miller 0001	A Theory of Modules for Logic Programming. (long version: JLP 6(1&2): 79-108)	SLP	1986	DBLP BibTeX RDF
21	Allen Van Gelder	Negation as Failure Using Tight Derivations for General Logic Programs. (long version: JLP 6(1&2): 109-133)	SLP	1986	DBLP BibTeX RDF
21	Nam Sung Woo, Kwang-Moo Choe	Selecting the Backtrack Literal in the AND/OR Model.	SLP	1986	DBLP BibTeX RDF
21	Ian T. Foster, Anthony J. Kusalik	A Logical Treatment of Secondary Storage.	SLP	1986	DBLP BibTeX RDF
21	Leon Sterling, Randall D. Beer	Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction. (long version: JLP 6(1&2): 163-178)	SLP	1986	DBLP BibTeX RDF
21	Joe L. Armstrong, Nabiel A. Elshiewy, Robert Virding	The Phoning Philosopher's Problem or Logic Programming for Telecommunications Applications.	SLP	1986	DBLP BibTeX RDF
21	Jonas Barklund, Håkan Millroth	Garbage Cut for Garbage Collection of Iterative Prolog Programs.	SLP	1986	DBLP BibTeX RDF
21	Saumya K. Debray, David Scott Warren	Automatic Mode Inference for Prolog Programs.	SLP	1986	DBLP BibTeX RDF
21	Andrzej Ciepielewski, Bogumil Hausman	Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs.	SLP	1986	DBLP BibTeX RDF
21	Peyyun Peggy Li, Alain J. Martin	The Sync Model: A Parallel Execution Method for Logic Programming.	SLP	1986	DBLP BibTeX RDF
21	Alberto Martelli, Corrado Moiso, Gianfranco Rossi	An Algorithm for Unification in Equational Theories.	SLP	1986	DBLP BibTeX RDF
21	W. W. Bledsoe	Some Thoughts on Proof Discovery.	SLP	1986	DBLP BibTeX RDF
21	Jean H. Gallier, Stan Raatz	SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. (long version: JLP 6(1&2): 3-43)	SLP	1986	DBLP BibTeX RDF
21	P. Hoddinott, Edward W. Elcock	PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. (long version: JLP 6(1&2): 45-56)	SLP	1986	DBLP BibTeX RDF
21	Peter Borgwardt, Doris Rea	Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog.	SLP	1986	DBLP BibTeX RDF
21	Jeffrey F. Naughton	Redundancy in Function-Free Recursive Rules.	SLP	1986	DBLP BibTeX RDF
21	Saumya K. Debray	Register Allocation in a Prolog Machine.	SLP	1986	DBLP BibTeX RDF
21		Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986	SLP	1986	DBLP BibTeX RDF
21	Edwin Pittomvils, Maurice Bruynooghe, Yves D. Willems	Towards a Real-Time Garbage Collector for Prolog.	SLP	1985	DBLP BibTeX RDF
21	Hervé Gallaire	Logic Programming: Further Developments.	SLP	1985	DBLP BibTeX RDF
21	Jung-Herng Chang, Alvin M. Despain	Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis.	SLP	1985	DBLP BibTeX RDF
21	Toshihiko Miyazaki, Akikazu Takeuchi, Takashi Chikayama	A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme.	SLP	1985	DBLP BibTeX RDF
21	Janice I. Glasgow, Michael A. Jenkins, Carl McCrosky	User Defined Parallel Control Strategies in Nial.	SLP	1985	DBLP BibTeX RDF
21	Jan Maluszynski, Henryk Jan Komorowski	Unification-Free Execution of Logic Programs.	SLP	1985	DBLP BibTeX RDF
21	Lee Naish	All Solutions Predicates in Prolog.	SLP	1985	DBLP BibTeX RDF
21		Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985	SLP	1985	DBLP BibTeX RDF
21	Sanjai Narain	A Technique for Doing Lazy Evaluation in Logic.	SLP	1985	DBLP BibTeX RDF
21	Robert A. Kowalski	Directions for Logic Programming.	SLP	1985	DBLP BibTeX RDF
21	Zerksis D. Umrigar, Vijay Pitchumani	An Experiment in Programming with Full First-Order Logic.	SLP	1985	DBLP BibTeX RDF
21	Richard A. O'Keefe	Towards an Algebra for Constructing Logic Programs.	SLP	1985	DBLP BibTeX RDF
21	Piotr Dembinski, Jan Maluszynski	AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.	SLP	1985	DBLP BibTeX RDF
21	Jan Chomicki, Naftaly H. Minsky	Towards a Programming Environment for Large Prolog Programs.	SLP	1985	DBLP BibTeX RDF
21	Nachum Dershowitz, David A. Plaisted	Logic Programming cum Applicative Programming.	SLP	1985	DBLP BibTeX RDF
21	Laurent Fribourg	SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting.	SLP	1985	DBLP BibTeX RDF
21	Mats Carlsson	A Microcoded Unifier for Lisp Machine Prolog.	SLP	1985	DBLP BibTeX RDF
21	Harald Ganzinger, Michael Hanus	Modular Logic Programming of Compilers.	SLP	1985	DBLP BibTeX RDF
21	Rosanna K. S. Lee, Randy Goebel	Concurrent Prolog in a Multiprocess Environment.	SLP	1985	DBLP BibTeX RDF
21	Hajime Sawamura, Taku Takeshima	Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization.	SLP	1985	DBLP BibTeX RDF
21	Jean H. Gallier, Stan Raatz	Logic Programming and Graph Rewriting.	SLP	1985	DBLP BibTeX RDF
21	Kazunori Ueda, Takashi Chikayama	Concurrent Prolog Compiler on Top of Prolog.	SLP	1985	DBLP BibTeX RDF
21	Richard A. O'Keefe	On the Treatment of Cuts in Prolog Source-Level Tools.	SLP	1985	DBLP BibTeX RDF
21	Kenneth A. Bowen, Tobias Weinberg	A Meta-Level Extension of Prolog.	SLP	1985	DBLP BibTeX RDF
21	Amitabh Srivastava, Don Oxley, Aditya Srivastava	An(other) Integration of Logic and Functional Programming.	SLP	1985	DBLP BibTeX RDF
21	Uday S. Reddy	Narrowing as the Operational Semantics of Functional Languages.	SLP	1985	DBLP BibTeX RDF
21	Giorgio Levi, Catuscia Palamidessi	The Declarative Semantics of Logical Read-Only Variables.	SLP	1985	DBLP BibTeX RDF
21	Philip T. Cox, Tomasz Pietrzykowski	Surface Deduction: A Uniform Mechanism for Logic Programming.	SLP	1985	DBLP BibTeX RDF
21	David Scott Warren	Efficient Prolog Memory Management for Flexible Control Strategies.	SLP	1984	DBLP BibTeX RDF
21	Uday S. Reddy	Transformation of Logic Programs into Functional Programs.	SLP	1984	DBLP BibTeX RDF
21	Ehud Shapiro, Colin Mierowsky	Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog.	SLP	1984	DBLP BibTeX RDF
21	Hideyuki Nakashima	Knowledge representation in Prolog/KR.	SLP	1984	DBLP BibTeX RDF
21	Peter Borgwardt	Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors.	SLP	1984	DBLP BibTeX RDF
21	Neil D. Jones, Alan Mycroft	Stepwise Development of Operational and Denotational Semantics for Prolog.	SLP	1984	DBLP BibTeX RDF
21	P. A. Subrahmanyam, Jia-Huai You	Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming.	SLP	1984	DBLP BibTeX RDF
21	Harvey Abramson	Definite Clause Translation Grammars.	SLP	1984	DBLP BibTeX RDF
21	David Gelernter	A Note on Systems Programming in Concurrent Prolog.	SLP	1984	DBLP BibTeX RDF
21		Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984	SLP	1984	DBLP BibTeX RDF
21	Lisa Hellerstein, Ehud Shapiro	Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience.	SLP	1984	DBLP BibTeX RDF
21	Hiroshi Nakagawa	AND Parallel PROLOG with Divided Assertion Set.	SLP	1984	DBLP BibTeX RDF
21	Tamás Gergely, Miklós Szöts	Cuttable Formulas for Logic Programming.	SLP	1984	DBLP BibTeX RDF
21	Kenneth M. Kahn	A Primitive for the Control of Logic Programs.	SLP	1984	DBLP BibTeX RDF
21	Carlo Zaniolo	Object-Oriented Programming in Prolog.	SLP	1984	DBLP BibTeX RDF
21	Mats Carlsson	On Implementing Prolog in Functional Programming.	SLP	1984	DBLP BibTeX RDF
21	Evan Tick, David H. D. Warren	Towards a Pipelined Prolog Processor.	SLP	1984	DBLP BibTeX RDF
21	Hisao Tamaki	Semantics of a Logic Programming Language with a Reducibility Predicate.	SLP	1984	DBLP BibTeX RDF
21	Bruce Smith	Logic Programming on an FFP Machine.	SLP	1984	DBLP BibTeX RDF
21	Maria-Virginia Aponte, José Alberto Fernández, Philippe Roussel	Editing First-Order Proofs: Programmed Rules vs Derived Rules.	SLP	1984	DBLP BibTeX RDF
21	Kuniaki Uehara, Ryo Ochitani, Osamu Kakusho, Jun'ichi Toyoda	A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique.	SLP	1984	DBLP BibTeX RDF
21	David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé	Executing Distributed Prolog Programs on a Broadcast Network.	SLP	1984	DBLP BibTeX RDF
21	Naoyuki Tamura, Yukio Kaneda	Implementing Parallel Prolog on a Multiprocessor Machine.	SLP	1984	DBLP BibTeX RDF
21	David A. Plaisted	The Occur-Check Problem in Prolog.	SLP	1984	DBLP BibTeX RDF
21	Tom Khabaza	Negation as Failure and Parallelism.	SLP	1984	DBLP BibTeX RDF
21	Michael J. Wise, David M. W. Powers	Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded Words.	SLP	1984	DBLP BibTeX RDF
21	Hajime Kitakami, Susumu Kunifuji, Taizo Miyachi, Koichi Furukawa	A Methodology for Implementation of a Knowledge Acquisition System.	SLP	1984	DBLP BibTeX RDF
21	Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli	On the Integration of Logic Programming and Functional Programming.	SLP	1984	DBLP BibTeX RDF
21	Mark E. Stickel	A Prolog Technology Theorem Prover.	SLP	1984	DBLP BibTeX RDF
21	Gary Lindstrom, Prakash Panangaden	Stream-Based Execution of Logic Programming.	SLP	1984	DBLP BibTeX RDF
21	Stephen Taylor, Andy Lowry, Gerald Q. Maguire Jr., Salvatore J. Stolfo	Logic Programming Using Parallel Associative Operations.	SLP	1984	DBLP BibTeX RDF
21	António Porto, Miguel Filgueiras	Natural Language Semantics: A Logic Programming Approach.	SLP	1984	DBLP BibTeX RDF
21	Prateek Mishra	Towards a Theory of Types in Prolog.	SLP	1984	DBLP BibTeX RDF
21	Andrzej Ciepielewski, Seif Haridi	Control of Activities in the Or-Parallel Token Machine.	SLP	1984	DBLP BibTeX RDF
21	Taizo Miyachi, Susumu Kunifuji, Hajime Kitakami, Koichi Furukawa, Akikazu Takeuchi, Haruo Yokota	A Knowledge Assimilation Method for Logic Databases.	SLP	1984	DBLP BibTeX RDF
21	Derek R. Brough, Maarten H. van Emden	Dataflow, Flowcharts, and "LUCID"-style Programming in Logic.	SLP	1984	DBLP BibTeX RDF
20	Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi	A New Declarative Semantics for Logic Languages.	ICLP/SLP	1988	DBLP BibTeX RDF
20	D. A. Chu, F. G. McCabe	SWIFT: A New Symbolic Processor.	ICLP/SLP	1988	DBLP BibTeX RDF
20	Kim Marriott, Lee Naish, Jean-Louis Lassez	Most Specific Logic Programs.	ICLP/SLP	1988	DBLP BibTeX RDF
20	Harvey Abramson	Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming.	ICLP/SLP	1988	DBLP BibTeX RDF
20	Khayri A. M. Ali	OR-Parallel Execution of Prolog on BC-Machine.	ICLP/SLP	1988	DBLP BibTeX RDF
20	Kenneth Kunen	Some Remarks on the Completed Database.	ICLP/SLP	1988	DBLP BibTeX RDF
20	Jean H. Gallier, Tomás Isakowitz	Rewriting in Order-sorted Equational Logic.	ICLP/SLP	1988	DBLP BibTeX RDF
20	Leon Sterling, Arun Lakhotia	Composing Prolog Meta-Interpreters.	ICLP/SLP	1988	DBLP BibTeX RDF
20	A. Bruffaerts, E. Henin	Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter.	ICLP/SLP	1988	DBLP BibTeX RDF
20	John S. Conery	Logical Objects.	ICLP/SLP	1988	DBLP BibTeX RDF
20	Sei-Ichi Kondoh, Takashi Chikayama	Macro Processing in Prolog.	ICLP/SLP	1988	DBLP BibTeX RDF
20	Kam-Wing Ng, Ho-fung Leung	The Competition Model for Parallel Execution of Logic Programs.	ICLP/SLP	1988	DBLP BibTeX RDF
20	Giorgio Levi	Models, Unfolding Rules and Fixpoint Semantics.	ICLP/SLP	1988	DBLP BibTeX RDF