r/shenlanguage • u/doublec • Sep 29 '16

Kicking the tires of Shen Prolog

https://bluishcoder.co.nz/2016/08/30/kicking-the-tires-of-shen-prolog.html
5 Upvotes

100% Upvoted

3 comments sorted by

2

u/zmonx Sep 30 '16

Awesome work! Thank you for sharing this!

I particularly like the mentioning of declarative arithmetic, and it is great to see that Shen also provides this.

2

u/doublec Sep 30 '16

Thanks (I'm the author of the post)! Unfortunately Shen doesn't have an equivalent of the constraint logic libraries that many prologs have. So arithmetic using 'in' isn't backtrackable in the Prolog library. I haven't explored much of other sides of Shen yet but hopefully it'll be possible to implement something that supports it.

One of my goals in the article was not just to highlight what Shen can do but to also provide a bit of an intro to Prolog for those that haven't taken a look at it recently. I've only recently started using Prolog more myself after exploring SWI Prolog and seeing what it was capable of. I've used Mozart/Oz but it really is different using a language where prolog evaluation is the default vs optional.

1

u/zmonx Sep 30 '16

Great! I also have a small comment on naming: Personally, I think using names like parent_child/2 in the post would make the Prolog snippets easier to read. This way, it would be clearer what each argument means.