Implement prolog server
Merge pull request #13 from ljos/master

Implement prolog server