Open source object-oriented logic programming language
