Point-Free Logic Programming

Fearless extensibility: Extending THINK Pascal