Logic programming language