Logic programming and knowledge engineering