Other Research

Future of Logic Programming Workshop

Visions for the Future of Logic Programming: Laying the Foundations for a Modern Successor to Prolog. A workshop in association with ILPS'95 (International Logic Programming Symposium) Portland, Oregon (USA), Dec. 7, 1995. (Full text of proceedings).

The Essence of Multiparadigm Programming

Six blind sages were shown an elephant, and met to discuss their experience. ``It's wonderful,'' said the first, ``an elephant is like a snake: slender and flexible.'' ``No, no, not at all,'' said the second, ``an elephant is like a tree: sturdily planted on the ground.'' ``Marvelous,'' said the third, ``an elephant is like a wall.'' ``Incredible,'' said the fourth, ``an elephant is a tube filled with water.'' ``What is then this mythical beast that is all things to all?,'' said the fifth. ``Hell if I know,'' said the sixth, ``but let us now disperse and proclaim our wisdom.'' Multiparadigm Programming in Oz (280K).

The Half_Life Compiler

The Half_Life (460K) compiler. This is a partial implementation of a LIFE compiler that is essentially LOGIN (Prolog with psi-terms), compiling into C using the RISC-macro technique, and written with the Wild_Life preprocessor. It is mainly written by Richard Meyer and Bruno Dumant, with guidance by Peter Van Roy. It compiles small example programs correctly and is well-documented, but no guarantees are given as to its suitability for anything at all. Half_Life documentation.
Please send all comments to Peter Van Roy.