Reviews

I really like this pack because it allows me an extra level of specific checking/safety on top of the already existing types in swi-prolog. As mentioned, this works very well with mavis. This makes programming in prolog even more enjoyable.