Describir: Filling the Void: the application of Free Logic to programming.