Using Logic Databases in Software Development Environments