Staffan Bonnier

• A formal basis for Horn clause logic with external polymorphic functions