Complete Contents List

Other search techniques are to use the Contents Links list, Keywords list or the Search Engine.

Back to ALP Newsletter Home Page.

• Editorials
  • Three Types

  • Failed Exams

  • Moving

  • CheeseMaker Upgrade

  • School's Liaison

  • 21st Century Pathology

  • Exam Marking

  • Working At Home

  • Home Computer Show

  • Party Ideas

  • Computer Hackers

  • Windows 95

  • Please Book Early

  • Agent Provocateur

  • Let's face the music, and...

  • A Moving Tale

  • Blackpool Beckons

  • A LP Unix?

• Comment
  • The 1st Prolog Programming Competition

  • 2nd Annual Prolog Programming Contest

  • The 3rd Prolog Programming Contest

  • Proof Theory as an Alternative to Model Theory

  • LP as an Introductory Programming Paradigm

  • Marketing for Logic Programmers

  • Halfway to the Prolog Thousand

  • Logic Programming as a Side Show

  • The Implementation of Prolog

  • A Brief History Of Stream Parallel LP

  • Declarative versus Procedural

  • An Academic SCALP?

  • Reversible Arithmetic as a Pedagogical Tool

  • Prolog Standardization

  • Jobs That Require Prolog

  • Applications of LP in Software Engineering

  • Modules for Prolog: Proposal for Part 2 of the Standard

  • JICSLP'96 Report

  • A Report on JELIA '96

  • INAP-96 Conference Report

  • Jack Minker

• ALP News
  • ALP Membership
    • Membership List

    • Membership Breakdown: June 1993

    • Membership Breakdown: June 1994

    • Membership Breakdown: June 1995

    • Membership Breakdown: June 1996

  • ALP Finances
    • Accounts 1993

    • Accounts 1994

    • Budget and Accounts: June 1995

    • Budget and Accounts: Aug. 1996

    • Conferences and Workshops Financial Summary: June 1995

    • Conferences and Workshops Financial Summary: Aug. 1996

  • ALP Meetings
    • Executive Committee Meeting Minutes: June 1994

    • Executive Committee Meeting Minutes: Sept. 1996

    • General Meeting: June 1995

  • French-speaking LP Mailing List

  • Proceedings

• Short Communications
  • Hierarchical Arc Consistency

  • A Metaphor for Prolog Procedures using Difference Lists

  • Applying Interval Arithmetic to Real, Integer and Boolean Constraints

  • Switches for Making Prolog a more Dynamic Programming Language

  • Survey about LambdaProlog

  • How To Invent A Meta-interpreter For The Ancestor Cut

  • What does Subset Mean?

  • A Predictive Bottom-up Evaluator

  • Image Processing in Prolog: Getting the Paradigm Right

• Community News
  • Books
    • Non-Deterministic Concurrent Logic Programming in Pandora

    • Inductive Logic Programming

    • A Grammatical View of Logic Programming

    • The Art of Prolog, 2nd Edition

    • The Goedel Programming Language

    • Simply Logical: Intelligent Reasoning by Example

    • Prolog++ The Power of Object-Oriented and Logic Programming

    • Logic Program Synthesis from Incomplete Information

    • Computational Phonology: A Constraint-Based Approach

    • Multiprocessor Execution of Logic Programs

    • Logic Programming: Formal Methods and Practical Applications

    • Natural Language Computing

    • Source from NLA Book

    • Partial Evaluation and Automatic Program Generation

    • The Logic of Partial Information

    • The Clausal Theory of Types

    • Logic, Programming and Prolog (2nd edition)

    • Partial Evaluation

    • Pop-11 Primer (2nd ed.)

    • From Logic Programming to Prolog

    • Garbage Collection: Algorithms for Automatic Dynamic Memory Management

    • JICSLP'96

  • Free/Shareware Languages
    • Free/Shareware Prologs
      • ARGO Prolog

      • Aquarius Prolog

      • B-Prolog 2.1

      • BinProlog 5.25

      • JIPL: Java interface for Prolog

      • Open Prolog

      • Strawberry Prolog

      • SWI-Prolog

      • W-Prolog 1.0.

    • Free/Shareware Constraint LP Languages
      • CIAL: An Interval Constraint LP Language

      • clp(FD) v2.1

      • DFKI Oz 1.0

      • ECLiPSe 3.5.2

      • Prolog II+

    • Free/Shareware Functional/LP Languages
      • ALF

      • Elf

      • LambdaProlog/MALI

      • RELFUN

      • TOY

      • Terzo lambdaProlog

    • Free/Shareware OOLP Languages
      • BeBOP and bp

      • Logtalk 1.4

      • OL(P)

    • Free/Shareware Extended Logic Languages
      • Goedel Version 1.3

      • Lygon

      • Mercury 0.4

      • SEL Version 2

      • Wild_LIFE

      • XOLDT on SICStus

      • XSB Version 1.2

    • Other Free/Shareware Languages
      • METAGAME 2.0

      • PCN Version 2.0

      • POPLOG Version 14.2

      • SymbMath

  • Companies
    • Applied Logic Systems (ALS)
      • ALS Prolog 2.0

      • ALS Prolog 2.0 = CLP(BNR)

    • Amzi!
      • HyperBase ToolBox

      • Amzi! Logic Server Adds ODBC Access

      • Amzi! News

      • Amzi! Sockets

      • WebLS 2.0

    • IF Computer
      • IF/Prolog

      • MINERVA

    • Logic Programming Associates (LPA)
      • Prolog++

      • LPA Prolog for Windows 95

      • LPA's FLINT

      • LPA WinProlog

      • LPA News

    • Prolog Development Center (PDC)
      • Visual Prolog

      • Visual Prolog Newsletter

    • SICS
      • Fw_rules 1.0

      • SICStus Debugger

      • SICStus Prolog Distribution in Central and Eastern Europe

      • SICStus News

    • Others
      • GT-Prolog

      • CHIP

      • CLP Extension of IBM Prolog

      • PTC Compiler

      • Quintus Prolog News

      • Vortex 3.0

  • Tools
    • Databases
      • Aditi

      • ConceptBase Release 3.2

      • CORAL

      • Glue-Nail System Release 2.0

      • ROCK & ROLL v.3.17

      • ROL

    • Theorem Provers
      • Isabelle-93

      • leanTAP Theorem Prover

      • SETHEO Version 3.0

    • Grammar Tools
      • ALE 2.0

      • Grammar Labs

      • Hdrug

      • The PAPPI System

      • Parse Tree Notation

    • LP Code Libraries
      • Date and Time Functions

      • FSA Utilities (Version 4)

      • The Logical State Thread Package

      • PiLLoW HTML/HTTP Library

    • Other Tools
      • CASLOG

      • COLAB

      • Flowchart Language Partial Evaluator

      • INAF

      • Linda Interactor

      • Prolog Metrics

      • PI

      • ProTcXl 2.0

      • Munich Rent Advisor

      • Prolog Type Checking

      • VHDL-93 Parser

      • Vortex

      • XPCE/Prolog

  • Institutions
    • AITEC

    • Compulog Net

    • EAPLS

    • HCM SOL Network Applicants

    • The Institute for Logic, Language and Computation (ILLC)

    • Lab. for Logic, Databases, and Advanced Programming

    • The Prolog Association of Japan

    • Interest Group on Propositional and Predicate Logics

    • The PRISM Research Group

  • Journals
    • AITEC News Issues #6 and #7

    • AI Watch

    • Elsevier Science on the Internet

    • ICOT Free Software Newsletter

    • Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL)

    • ILLC Research Reports and Technical Notes

    • Intelligent Data Analysis

    • Journal of Functional and Logic Programming (JFLP)

    • Journal of Logic and Computation

    • Journal of Logic Programming (JLP)
      • Journal of LP Latex Style

      • JLP Special Issue: 10 Years of LP

      • JLP "Technical Notes"

      • JLP Reorganisation of Areas

      • Journal of Logic Programming on the Web

    • Free Subscriptions to SIGMOD Record

    • The VLDB Journal

  • Online Information
    • Teaching
      • Implementation and DCGs

      • CHIC Methodology

      • LP Pruning Tutorial

      • Oz Tutorial

      • AI Course Material

      • Prolog Course via the Internet

    • Conference Information
      • Constraint Languages/Systems Proceedings

      • Database Systems and LP

      • Logic-Related Conferences

      • Programming Language Exploration

      • Interval Constraints Workshop

    • Prolog 1000
      • Prolog 1000 Database

      • Prolog Thousand Entry Form

    • Libraries/Archives
      • Some LP Links

      • Public-domain Software at IC

      • A Bibliography on Integrating Object-Oriented and Logic Programming

      • The TPTP Problem Library and BSTP Benchmark Suite

      • LICS Bibliography

      • ICIS-L: Information Systems bulletin board

      • CMU Artificial Intelligence Repository

      • The CCL Project Archive

      • ICOT Free Software

      • Logical Frameworks

      • Bibtex Entries for LP Conferences/Journals

      • OOLP WWW Page

      • New Zealand Digital Library

      • Library of Logic Programming Systems and Test Cases

      • City University Constraints

      • Abstract Interpretation Bibliography

      • LP and the Web

  • Other News
    • cu-Prolog Users Group

    • Paris C. Kanellakis

    • Al Roth

    • Prolog Standardization

• Net Talk
  • Applications/Software
    • ICOT 5th Generation Project Catalog

    • Partial Evaluation (Summary)

    • Pretty Printer

    • A Summary of LP Profilers

    • Genetic Algorithms

    • Prolog Dictionary

    • Prolog in Embedded Control

    • Adventure Game Source Code

    • Prolog Code in LaTeX

    • Algorithms for Making Finite State Machines

    • Partial Ordering and Unions

    • Prolog for Machine Learning

    • Forward Chainer for Prolog Rules

    • Gamble with Prolog

    • Partial Order Planners in Prolog

    • Prolog XREF Analyser

  • Coding Techniques/Styles
    • Term Expansion to Multiple Clauses

    • Software Engineering and Prolog References

    • Indention and Style

    • Efficiency Questions

    • Argument Passing via Assert

    • Backtrackable Mutable Objects = Bad Style?

    • Literate Prolog

    • Multiple Data Files in SWI-Prolog

  • Constraints
    • Constraints World Wide Web Page

    • Request for CLP Entries

    • Constraint Satisfaction Problems (CSP)

    • Constraint Satisfaction Problems Again

  • Databases
    • A Prolog-SQL Interface

    • Using Prolog for a Relational Database

    • Datalog Information

    • Prolog vs. Database Search

    • Prolog, Delphi, Paradox

  • Data Structures
    • Prolog Without Terms

    • Difference Lists

    • Syntax

    • Why Can't Integers Become Principal Functors?

    • Matrix Inversion

    • Adding Quotes to Numbers

    • Prolog and IEEE floats

    • Rational Infinite Trees

    • Kleene Star Operator

    • Splay Trees

    • Arrays in Prolog

  • Extensions to LP
    • Temporal Logic Resources

    • Bibliography on Integrating OOP and LP

    • Inductive LP

    • Fuzzy LP Papers

    • Set Based Languages

    • Andorra and AKL

    • Lazy functional/Logic Programming

    • Fuzzy LP References

    • Bottom-Up Evaluation of F-logic Programs

    • Inductive LP, EBG and Uncertainty

    • Purifying Prolog, Monads?

    • Predicates vs Functions

    • Object Variables

    • Algebra of Binary Relations

    • Combining Functional and Logical Features

    • Term Generalization

  • Grammars/Parsing
    • DCGs Information

    • DCGs and consult/1 in the ISO Prolog Standard

    • The Complexity of DCGs

    • Demand Driven Lists for DCGs?

    • Compiler Writing Using DCGs

    • Compilers Written in Prolog

    • Parser in C

    • HPSG in Prolog

    • Standard Prolog Read?

    • Prolog Parser in Prolog

  • GUIs
    • GUIs in Prolog

    • Visual Prolog?

    • GUI and Prolog

    • Use of ProTcl to Create GUIs

    • Prolog Modelled as Molecules

  • Implementation
    • Threaded Code

    • Compilation of Disjuncts

    • The Occurs Check

    • A WAM emulator

    • Performace of Binary Clauses / Continuations

    • Compact Representation of Lists

    • 32 Bit Prolog compilers for OS/2

    • SIMD, SAMD, or Cray LP

    • The Implementation of Fair Search Rules

    • Why is Interning Atoms and Functors Nonbacktrackable?

    • WAM Free Variables?

    • State-of-the-art Garbage Collection (GC)

    • What is a Global Stack Used For?

    • How to Benchmark Prolog?

    • A Question About clause/2

    • WAM Compiler and Emulator

    • Run-time Errors

    • Any Recent Prolog Hardware?

    • Dismal Indexing

    • Prolog Speed

    • Continuation-passing Models of Backtracking

    • TRO

    • Prolog on the Alpha-Chip Processor?

    • Alias Variables

    • Garbage Collection (GC)

  • Meta-level Programming
    • unique_soln/2

    • How to Implement Quantifiers?

    • Problems with bagof/3

    • Findall/3 Without Copying?

    • Ground Representation

    • Free Variables in set_of/3

    • call/N

    • Freeze/findall Interaction

    • Minimum Value of a Predicate?

    • Implementation of findall

  • Network/Web Programming
    • Prolog and the Web

    • Prolog Interpreter in C++ / Java

    • Prolog Programming on the Web

    • Prolog within Java

    • Prolog Scripts

    • Using a Socket Library

    • HTTP Server in Prolog

  • Interfacing Prolog with Other Languages
    • C++ Classes for Prolog

    • TCL interfaces to Prolog

    • Prolog in Scheme

    • Smalltalk/Prolog Interface

    • C++ Interface to Prolog

    • Prolog to C

    • Looking for C++ Prolog Library

    • Scheme Interpreter

  • Parallelism
    • IC Prolog ][ and L&O

    • Concurrent LP Method Patented

    • Parallel Prologs

    • Communication and Synchronization Abstractions

    • Parallel Prolog

    • Forking

  • Strings
    • Matching Strings with Regular Expressions

    • Evaluation of Strings in Prolog

    • Strings vs Atoms

    • Strings vs Atoms

  • Information about LP Systems
    • Prolog Resource Guide (an extract)

    • Logical Update View

    • Prolog Standard Opinions

    • Poll of Prolog Use

    • Prolog under DOS or Windows

    • Validated Prolog Compilers

    • Small Prolog Source

    • Declarative Languages for Linux

    • Prolog Standardization

    • Mercury

    • ISO Standard Prolog Information

    • Prolog for the Acorn Archimedes

    • Prolog and Mercury Compared

    • Prolog in Russia

    • Prolog Compiler / Interpreter

  • Theory
    • Semantics and Backtracking

    • Looking for Logico-Philosophical Articles

    • Otherwise

    • A Sound/Complete Implementation of Negation As Failure?

    • Negation as Failure

  • Typing
    • Typed LP and call/1

    • Typing Declarations

    • Strong Typing

    • Strong Typing and Meta-programming

    • Strong Typing

    • Mercury Type System

    • Typing in Visual Prolog and Mercury

    • Prolog Type Checker

  • LP and the World
    • LP (Prolog, Goedel) as a First Language

    • Are there Prolog Jobs out there?

    • Why Hasn't Prolog Taken Over the World?

    • The Grand Challenge in Programming Languages

    • The Declarative and Imperative Views

• Humorous Implications
  • Jokes
    • Michelangelo Virus Hysteria Syndrome

    • Why God Never Received Tenure

    • Natural Upgrade Path

    • AI ISA OK?

    • Jeeves and the Slippery Paradox

    • Philosophy class

    • A Grandchild's Guide to Using Grandpa's Computer

    • Prolog Valued

    • Goedels Proof of God's Existence

    • Artificial Bigot

    • I Need Serious Help

  • Cryptarithms
    • Digits Puzzle

    • Divisive Operations

    • A Prime Cryptarithmitic Example

    • Talkative Eve

  • Logic Puzzles
    • The Question is the Answer

    • House this for a Puzzle?

    • Birthday Boys

    • Three Jewels Problem

    • Hundred Statements

    • A Logic Puzzle

    • Good Eggs

    • Three Tribes

    • When is the News Week?

    • The King and the Light Bulb

    • A Crime Story

    • Passengers in a Train

    • Josephine Puzzle

    • Three Hats

    • Mermaids and Hangovers

    • King Arthur's Knights

    • Four Ladies

    • Probably a Duel

  • Numerical Puzzles
    • Mind your S and P's

    • A Neat Little Problem

    • Same Street Romance

    • A Tear-rific Little Problem

    • Dog's Mead

    • Magic Squares Variation

    • Magic Square Puzzle

    • The 24s Puzzle

    • What is my Locker Combination?

    • The 7.11 problem

    • A Legal Tangle

    • A Square Meal

    • Coincident Clock Hands

    • The Broken Rock

    • The Berry Number

  • Visual Puzzles
    • Picking Up Sticks

    • Loyd's Lunacy

    • Nonograms

    • Geometric Treasure

    • Where The Streets Have No Names

    • Four Straight Lines

    • I'm no Square

    • Nickles and Pennies

    • The Three Short Planks Problem

• The Association of Logic Programming