Logic programming language examples