Stop the war!
Остановите войну!
for scientists:
default search action
1st SLP 1984: Atlantic City, New Jersey
- Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984. IEEE-CS 1984, ISBN 0-8186-0522-7
Architectures I
- Peter Borgwardt:
Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors. SLP 1984: 2-11 - David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé:
Executing Distributed Prolog Programs on a Broadcast Network. SLP 1984: 12-21 - Hiroshi Nakagawa:
AND Parallel PROLOG with Divided Assertion Set. SLP 1984: 22-28 - Evan Tick, David H. D. Warren:
Towards a Pipelined Prolog Processor. SLP 1984: 29-40
Architectures II
- Naoyuki Tamura, Yukio Kaneda:
Implementing Parallel Prolog on a Multiprocessor Machine. SLP 1984: 42-48 - Andrzej Ciepielewski, Seif Haridi:
Control of Activities in the Or-Parallel Token Machine. SLP 1984: 49-57 - Stephen Taylor, Andy Lowry, Gerald Q. Maguire Jr., Salvatore J. Stolfo:
Logic Programming Using Parallel Associative Operations. SLP 1984: 58-68
Parallel Language Issues
- Tom Khabaza:
Negation as Failure and Parallelism. SLP 1984: 70-75 - David Gelernter:
A Note on Systems Programming in Concurrent Prolog. SLP 1984: 76-82 - Ehud Shapiro, Colin Mierowsky:
Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog. SLP 1984: 83-90
Applications in Prolog
- Maria-Virginia Aponte, José Alberto Fernández, Philippe Roussel:
Editing First-Order Proofs: Programmed Rules vs Derived Rules. SLP 1984: 92-98 - Lisa Hellerstein, Ehud Shapiro:
Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. SLP 1984: 99-115
Knowledge Representation and Data Bases
- Taizo Miyachi, Susumu Kunifuji, Hajime Kitakami, Koichi Furukawa, Akikazu Takeuchi, Haruo Yokota:
A Knowledge Assimilation Method for Logic Databases. SLP 1984: 118-125 - Hideyuki Nakashima:
Knowledge representation in Prolog/KR. SLP 1984: 126-130 - Hajime Kitakami, Susumu Kunifuji, Taizo Miyachi, Koichi Furukawa:
A Methodology for Implementation of a Knowledge Acquisition System. SLP 1984: 131-142
Logic Programming Plus Functional Programming I
- P. A. Subrahmanyam, Jia-Huai You:
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. SLP 1984: 144-153 - Mats Carlsson:
On Implementing Prolog in Functional Programming. SLP 1984: 154-159 - Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli:
On the Integration of Logic Programming and Functional Programming. SLP 1984: 160-166
Logic Programming Plus Functional Programming II
- Gary Lindstrom, Prakash Panangaden:
Stream-Based Execution of Logic Programming. SLP 1984: 168-176 - Bruce Smith:
Logic Programming on an FFP Machine. SLP 1984: 177-186 - Uday S. Reddy:
Transformation of Logic Programs into Functional Programs. SLP 1984: 187-196
Logic Programming Implementation Issues
- David Scott Warren:
Efficient Prolog Memory Management for Flexible Control Strategies. SLP 1984: 198-202 - Michael J. Wise, David M. W. Powers:
Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded Words. SLP 1984: 203-210 - Mark E. Stickel:
A Prolog Technology Theorem Prover. SLP 1984: 211-217
Grammars and Parsing
- 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: 220-227 - António Porto, Miguel Filgueiras:
Natural Language Semantics: A Logic Programming Approach. SLP 1984: 228-232 - Harvey Abramson:
Definite Clause Translation Grammars. SLP 1984: 233-240
Aspects of Logic Programming Languages
- Kenneth M. Kahn:
A Primitive for the Control of Logic Programs. SLP 1984: 242-251 - Derek R. Brough, Maarten H. van Emden:
Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. SLP 1984: 252-258 - Hisao Tamaki:
Semantics of a Logic Programming Language with a Reducibility Predicate. SLP 1984: 259-264 - Carlo Zaniolo:
Object-Oriented Programming in Prolog. SLP 1984: 265-270
Theory of Logic Programming
- David A. Plaisted:
The Occur-Check Problem in Prolog. SLP 1984: 272-280 - Neil D. Jones, Alan Mycroft:
Stepwise Development of Operational and Denotational Semantics for Prolog. SLP 1984: 281-288 - Prateek Mishra:
Towards a Theory of Types in Prolog. SLP 1984: 289-298 - Tamás Gergely, Miklós Szöts:
Cuttable Formulas for Logic Programming. SLP 1984: 299-310
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.