model-K

model-K is a development environment that combines aspects of programming languages with aspects of database languages. It is intended to perform artificial intelligence solutions based on symbolic representation of data.