Robert A. Kowalski, Kenneth A. Bowen
Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes
ICLP/SPL, 1988.

@proceedings{JICSLP-1988,
	address       = "Seattle, Washington, USA",
	editor        = "Robert A. Kowalski and Kenneth A. Bowen",
	isbn          = "0-262-61056-6",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}",
	year          = 1988,
}

Contents (104 items)

29 ×#logic programming
25 ×#source code
22 ×#prolog
11 ×#semantics
10 ×#logic
9 ×#execution
8 ×#implementation
7 ×#parallel
5 ×#approach
4 ×#algorithm

JICSCP-1988-BoscoCM88 #functional #logic #power of #programming

Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.

JICSCP-1988-McCroskyK88 #array #prolog #using

Improving First-Class Array Expressions Using Prolog (CM, AJK), pp. 18–25.

JICSCP-1988-Shintani88 #performance #prolog

A Fast Prolog-Based Production System KORE/IE (TS), pp. 26–41.

JICSCP-1988-DincbasSH88 #constraints #logic programming #problem

Solving a Cutting-Stock Problem in Constraint Logic Programming (MD, HS, PVH), pp. 42–58.

JICSCP-1988-HuynhL88 #analysis

A CLP(R) Options Trading Analysis System (TH, CL), pp. 59–69.

JICSCP-1988-Reintjes88 #design #prolog

A VLSI Design Environment in PROLOG (PBR), pp. 70–81.

JICSCP-1988-Docker88 #analysis #implementation #named #prolog

SAME — A Structured Analysis Tool and its Implementation in Prolog (TWGD), pp. 82–95.

JICSCP-1988-Steer88 #data flow #diagrams #testing

Testing Data Flow Diagrams with PARLOG (KS), pp. 96–110.

JICSCP-1988-Chan88 #database

Constructive Negation Based on the Completed Database (DC), pp. 111–125.

JICSCP-1988-FooRTW88 #deduction

Deduced Relevant Types and Constructive Negation (NYF, ASR, AT, AW), pp. 126–139.

JICSCP-1988-Ramakrishnan88 #approach #logic programming #source code

Magic Templates: A Spellbinding Approach to Logic Programs (RR), pp. 140–159.

JICSCP-1988-AttilaF88 #attribute grammar #execution #semantics #source code

Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation (IA, PFZ), pp. 160–177.

JICSCP-1988-KempT88 #database #evaluation #query #top-down

Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases (DBK, RWT), pp. 178–194.

JICSCP-1988-SekiI88 #evaluation #query #source code

A Query Evaluation Method for Stratified Programs Under the Extended CWA (HS, HI), pp. 195–211.

JICSCP-1988-TrehanW88 #commit #logic #nondeterminism #parallel #parsing

A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages (RT, PFW), pp. 212–232.

JICSCP-1988-Abramson88 #approach #aspect-oriented #definite clause grammar #metaprogramming

Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming (HA), pp. 233–248.

JICSCP-1988-Dahl88 #logic programming #representation

Representing Linguistic Knowledge through Logic Programming (VD), pp. 249–262.

JICSCP-1988-HirschmanHS88 #case study #natural language

OR-Parallel Speed-Up in Natural Language Processing: A Case Study (LH, WCH, RCS), pp. 263–279.

JICSCP-1988-GallierI88 #equation #logic #order

Rewriting in Order-sorted Equational Logic (JHG, TI), pp. 280–294.

JICSCP-1988-Zachary88 #approach #equation #logic programming

A Pragmatic Approach to Equational Logic Programming (JLZ), pp. 295–310.

JICSCP-1988-BonnierM88 #logic programming #source code #towards

Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 311–326.

JICSCP-1988-Holldobler88

From Paramodulation to Narrowing (SH), pp. 327–342.

JICSCP-1988-BruffaertsH88 #prolog #proving

Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter (AB, EH), pp. 343–358.

JICSCP-1988-CosciaFLST88 #compilation #logic programming

Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment (PC, PF, GL, GS, LT), pp. 359–373.

JICSCP-1988-KwokS88 #logic programming #source code

Implicit Definition of Logic Programs (CSK, MJS), pp. 374–385.

JICSCP-1988-SterlingL88 #prolog

Composing Prolog Meta-Interpreters (LS, AL), pp. 386–403.

JICSCP-1988-ChenW88

Objects as Intensions (WC, DSW), pp. 404–419.

JICSCP-1988-Conery88 #logic

Logical Objects (JSC), pp. 420–434.

JICSCP-1988-BarklundHW88 #graph

Condition Graphs (JB, NH, MW), pp. 435–446.

JICSCP-1988-CodognetCF88 #backtracking

Yet Another Intelligent Backtracking Method (CC, PC, GF), pp. 447–465.

JICSCP-1988-KondohC88 #metaprogramming #prolog

Macro Processing in Prolog (SiK, TC), pp. 466–480.

JICSCP-1988-PereiraC88 #debugging #framework #prolog

A Framework for Prolog Debugging (LMP, MC), pp. 481–495.

JICSCP-1988-Plummer88 #debugging #named #prolog

Coda: An Extended Debugger for PROLOG (DP), pp. 496–511.

JICSCP-1988-LichtensteinS88 #algorithm #debugging

Abstract Algorithmic Debugging (YL, EYS), pp. 512–531.

JICSCP-1988-BrayshawE88 #abstraction #prolog

Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM (MB, ME), pp. 532–547.

JICSCP-1988-GorlickK88 #analysis #logic programming #named #performance #source code

Gauge: A Workbench for the Performance Analysis of Logic Programs (MMG, CK), pp. 548–561.

JICSCP-1988-Eshghi88 #abduction #calculus

Abductive Planning with Event Calculus (KE), pp. 562–579.

JICSCP-1988-Voda88

Types of Trilogy (PJV), pp. 580–589.

JICSCP-1988-Emden88 #polymorphism #type inference

Conditional Answers for Polymorphic Type Inference (MHvE), pp. 590–603.

JICSCP-1988-XuW88 #prolog #type inference

A Type Inference System for Prolog (JX, DSW), pp. 604–619.

JICSCP-1988-ParkerM88 #formal method #logic programming #source code

A Theory of Directed Logic Programs and Streams (DSPJ, RRM), pp. 620–650.

JICSCP-1988-Port88 #approach #using

A Simple Approach to Finding the Cause of Non-Unifiability (GSP), pp. 651–665.

JICSCP-1988-BruynoogheJ88 #abstract interpretation

An Instance of Abstract Interpretation Integrating Type and Mode Inferencing (MB, GJ), pp. 669–683.

JICSCP-1988-WarrenHD88 #analysis #logic programming #on the #source code

On the Practicality of Global Flow Analysis of Logic Programs (RW, MVH, SKD), pp. 684–699.

JICSCP-1988-Waern88 #abstract interpretation #implementation #prolog

An Implementation Technique for the Abstract Interpretation of Prolog (AW), pp. 700–710.

JICSCP-1988-Debray88 #logic programming #parallel #source code #static analysis

Static Analysis of Parallel Logic Programs (SKD), pp. 711–732.

JICSCP-1988-MarriottS88 #abstract interpretation #bottom-up #logic programming #source code

Bottom-up Abstract Interpretation of Logic Programs (KM, HS), pp. 733–748.

JICSCP-1988-WinsboroughW88

Transparent And-Parallelism in the Presence of Shared Free Variables (WHW, AW), pp. 749–764.

JICSCP-1988-AptB88 #classification #modelling #source code

Arithmetic Classification of Perfect Models of Stratified Programs (KRA, HAB), pp. 765–779.

JICSCP-1988-Kaplan88 #algorithm #complexity #logic programming #source code

Algorithmic Complexity of Logic Programs (SK), pp. 780–793.

JICSCP-1988-SmithL88 #interpreter #prolog

A Simple Near-Horn Prolog Interpreter (BTS, DWL), pp. 794–809.

JICSCP-1988-NadathurM88 #overview #prolog

An Overview of λ-PROLOG (GN, DM), pp. 810–827.

JICSCP-1988-LoboMR88 #source code

Weak Completion Theory for Non-Horn Programs (JL, JM, AR), pp. 828–842.

JICSCP-1988-JayaramanN88 #implementation #logic programming

Subset-Logic Programming: Application and Implementation (BJ, AN), pp. 843–858.

JICSCP-1988-Abdallah88 #heuristic #logic #process

Heuristic Logic and the Process of Discovery (MANA), pp. 859–875.

JICSCP-1988-ElkanM88 #automation #induction #logic programming #reasoning #source code

Automated Inductive Reasoning about Logic Programs (CE, DAM), pp. 876–892.

JICSCP-1988-Fribourg88 #induction #prolog #source code

Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs (LF), pp. 893–908.

JICSCP-1988-MarriottNL88 #logic programming #source code

Most Specific Logic Programs (KM, LN, JLL), pp. 909–923.

JICSCP-1988-FujitaOF88 #constraints #haskell #partial evaluation #source code

Partial Evaluation of GHC Programs Based on the UR-set with Constraints (HF, AO, KF), pp. 924–941.

JICSCP-1988-HannanM88 #higher-order #implementation #unification

Uses of Higher-Order Unification for Implementing Program Transformers (JH, DM), pp. 942–959.

JICSCP-1988-BatarekhS88 #logic programming #semantics #source code

Semantical Equivalences of (Non-Classical) Logic Programs (AB, VSS), pp. 960–977.

JICSCP-1988-Kunen88 #database

Some Remarks on the Completed Database (KK), pp. 978–992.

JICSCP-1988-FalaschiLMP88 #declarative #logic #semantics

A New Declarative Semantics for Logic Languages (MF, GL, MM, CP), pp. 993–1005.

JICSCP-1988-MancarellaP88 #algebra #logic programming #source code

An Algebra of Logic Programs (PM, DP), pp. 1006–1023.

JICSCP-1988-RaatzG88 #logic programming #relational #semantics

A Relational Semantics for Logic Programming (SR, JHG), pp. 1024–1035.

JICSCP-1988-Subrahmanian88 #semantics #set

Intuitive Semantics for Quantitative Rule Sets (VSS), pp. 1036–1053.

JICSCP-1988-FittingB88 #logic programming #semantics

Stratified and Three-valued Logic Programming Semantics (MF, MBJ), pp. 1054–1069.

JICSCP-1988-GelfondL88 #logic programming #semantics

The Stable Model Semantics for Logic Programming (MG, VL), pp. 1070–1080.

JICSCP-1988-Przymusinski88 #semantics

Perfect Model Semantics (TCP), pp. 1081–1096.

JICSCP-1988-Moinard88

Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes) (YM), pp. 1097–1105.

JICSCP-1988-PrzymusinskaP88 #logic programming #semantics #source code

Weakly Perfect Model Semantics for Logic Programs (HP, TCP), pp. 1106–1120.

JICSCP-1988-LinK88 #execution #logic programming #memory management #multi #source code #summary

AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results (YJL, VK), pp. 1123–1141.

JICSCP-1988-SomogyiRV88 #algorithm #backtracking #execution

A Stream AND-Parallel Execution Algorithm with Backtracking (ZS, KR, JV), pp. 1142–1159.

JICSCP-1988-BiswasSY88 #automaton #logic programming #parallel #scalability #source code #strict

A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs (PB, SCS, DYYY), pp. 1160–1179.

JICSCP-1988-NgL88 #contest #execution #logic programming #parallel #source code

The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.

JICSCP-1988-RamanS88 #distributed #execution #logic #problem

Fully Distributed, AND/OR-Parallel Execution of Logic Problems (PR, EWS), pp. 1188–1203.

JICSCP-1988-TsengB88 #data-driven #execution #logic programming #parallel #source code

A Data-Driven Parallel Execution Model for Logic Programs (CCT, PB), pp. 1204–1222.

JICSCP-1988-KaleRS88 #execution #independence #logic programming #memory management #parallel #source code

A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs (LVK, RR, WWS), pp. 1223–1240.

JICSCP-1988-GotoKNC88 #garbage collection #incremental #lazy evaluation #parallel

Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines (AG, YK, TN, TC), pp. 1241–1256.

JICSCP-1988-Taylor88 #haskell

Localizing the GHC Suspension Test (HT), pp. 1257–1271.

JICSCP-1988-Wu88 #data flow

An Extended Dataflow Model of FGHC (HW), pp. 1272–1276.

JICSCP-1988-AlkalajS88 #architecture #concurrent #prolog

An Architectural Model for a Flat Concurrent Prolog Processor (LA, EYS), pp. 1277–1297.

JICSCP-1988-Saraswat88 #logic

A Somewhat Logical Formulation of CLP Synchronisation Primitives (VAS), pp. 1298–1314.

JICSCP-1988-KlingerS88 #algorithm #compilation #exclamation

A Decision Tree Compilation Algorithm for FCP(!, : , ?) (SK, EYS), pp. 1315–1336.

JICSCP-1988-NilssonT88 #haskell #implementation

A Flat GHC Implementation for Supercomputers (MN, HT), pp. 1337–1350.

JICSCP-1988-Nystrom88 #horn clause

Control Structures for Guarded Horn Clauses (SON), pp. 1351–1370.

JICSCP-1988-Bacha88 #design #implementation #prolog

Meta Prolog Design and Implementation (HB), pp. 1371–1387.

JICSCP-1988-JanssensDM88 #unification

Improving the Register Allocation of WAM by Recording Unification (GJ, BD, AM), pp. 1388–1402.

JICSCP-1988-MillsB88

Assertive Demons (JWM, KAB), pp. 1403–1414.

JICSCP-1988-ChuM88 #named

SWIFT: A New Symbolic Processor (DAC, FGM), pp. 1415–1427.

JICSCP-1988-Shankar88 #architecture #logic programming #memory management #unification

A Hierarchical Associative Memory Architecture for Logic Programming Unification (SS), pp. 1428–1447.

JICSCP-1988-StormonBOR88 #agile #architecture #execution #memory management #prolog

An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog (CDS, MRB, JVO, DFR), pp. 1448–1473.

JICSCP-1988-Hemmendinger88 #compilation #semantics

A Compiler and Semantic Analyzer Based on Categorial Grammar (DH), pp. 1474–1489.

JICSCP-1988-Kluzniak88 #garbage collection #prolog

Compile Time Garbage Collection for Ground Prolog (FK), pp. 1490–1505.

JICSCP-1988-KurosawaYAB88 #architecture #performance #prolog

Instruction Architecture for a High Performance Integrated Prolog Processor IPP (KiK, SY, SA, TB), pp. 1506–1530.

JICSCP-1988-Ali88 #execution #prolog

OR-Parallel Execution of Prolog on BC-Machine (KAMA), pp. 1531–1545.

JICSCP-1988-Naish88 #prolog

Parallelizing NU-Prolog (LN), pp. 1546–1564.

JICSCP-1988-CarlssonDO88 #approach #implementation

A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment (MC, KJD, RAO), pp. 1565–1577.

JICSCP-1988-AlshawiM88 #delphi

The Delphi Model and Some Preliminary Experiments (HA, DBM), pp. 1578–1589.

JICSCP-1988-ButlerDLOOS88 #perspective #scheduling

Scheduling OR-Parallelism: An Argonne Perspective (RB, TD, ELL, RO, RAO, RLS), pp. 1590–1605.

JICSCP-1988-AllenS88 #logic #multi #question

Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? (LEA, CSS), pp. 1609–1623.

JICSCP-1988-Bundy88 #logic programming

A Broader Interpretation of Logic in Logic Programming (AB), pp. 1624–1648.

JICSCP-1988-Levi88 #fixpoint #modelling #semantics

Models, Unfolding Rules and Fixpoint Semantics (GL), pp. 1649–1665.

JICSCP-1988-Zaniolo88 #data-driven #design #implementation #logic

Design and Implementation of a Logic Based Language for Data Intensive Applications (CZ), pp. 1666–1687.