Category Archives: research

Serious if informal descriptions of research ideas.

Extensional Higher Order Prolog

One big issue in the logic programming vs functional programming debate is logic programming’s (or at least the original Prolog’s) restriction to first order logic. To functional programmers this constraint is intolerable; even the simplest Haskell programs are higher order … Continue reading

Posted in research | 4 Comments

Wadge Degrees

When I was a young grad student at UC Berkeley, I invented what are now called “Wadge degrees”. Not to mention “Wadge reducibility”, “Wadge games”, “Wadge’s Lemma” and the “Wadge hierarchy”  (there’s a Wikipedia entry on the latter). “So”, I … Continue reading

Posted in research | 2 Comments

Lucid Meets Prolog

I remember when, a long time ago, Logic Programming was just starting out. The logic programmers would go to the functional programming gatherings and hang around the sidelines, hoping to convince everyone that logic programming was a kind of functional … Continue reading

Posted in research | 1 Comment

Universal Hybrid Calculus

The Universal Hybrid Calculus (UHC) is a simple logical formalism that has the power of the monadic predicate calculus but has no bound variables. Natural language statements (which also do not use variables) can be formulated more directly in the … Continue reading

Posted in research | 1 Comment

Intensional (versioned) web sites

Besides the development  of  Lucid, for a long while I’ve been working on another application of intensionality, namely intensional web pages – pages whose exact content depends on an implicit context. Unlike with Lucid, the contexts are not lists of … Continue reading

Posted in research | Leave a comment

Lucid – Retirement Plan

Here is the promised description of the retirement plan mentioned in the Lucid – Eduction post. This description is a slightly edited version of section 3 of “An eductive interpreter for the language pLucid”, by myself and A. Faustini, which … Continue reading

Posted in research | 1 Comment

Lucid – Eduction

One way of understanding the problem described in “Into the Abyss” is in terms of the domain of streams being used. The data-push model, discovered originally by Gilles Kahn, models a stream as either a finite or infinite sequence of … Continue reading

Posted in research | 5 Comments

Lucid – into the abyss

When we discovered the dataflow interpretation of Lucid (see post, Lucid, the dataflow language) we thought we’d found the promised land. We had an attractive computing model that was nevertheless faithful to the declarative semantics of statements-as-equations. However, there was … Continue reading

Posted in research | 3 Comments

Quiz Script

Recently I’ve been working with my wife Christine (who teaches in the French Department at UVIC) on a simple system, called Quiz Script, that makes it easy and quick to generate online interactive quizzes. This is the handout we gave … Continue reading

Posted in research | 2 Comments

Lucid – the dataflow language

In the last post I explained how temporal logic came to the rescue and enabled equations like next(I) = I+1 to be interpreted as real equations. In this temporal logic variables like I are variables that change with time – … Continue reading

Posted in research | 3 Comments