If you want to play with prolog it is actually quite easy to implement. Languages like Shen have a fully functional prolog in the language. Maybe not with all t

If you want to play with prolog it is actually quite easy to implement. Languages like Shen have a fully functional prolog in the language. Maybe not with all the fun bells and whistles of bigger languages, but still enough to play around with. Edit: and oh, almost forgot: http://docs.racket-lang.org/racklog/ http://docs.racket-lang.org/racklog/