Relation programming is really quite effective for high order problem solving. I've been using prolog recently and found really quite good. I've found myself t

Relation programming is really quite effective for high order problem solving. I've been using prolog recently and found really quite good. I've found myself thinking in terms of ontologies rather than hierarchies, which most over languages encourage. In case it was missed, the lisp in the paper is a rational lisp.