038 Prolog

Download Link: https://mostlyerlang.files.wordpress.com/2014/05/038_prolog.mp3

Any sufficiently complicated rules engine  contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of prolog

We talk about prolog with Jan who created SWI Prolog and Robert Virding, who used Prolog to help create Erlang. About why prolog is interesting and how best to use it in general and with other systems.

Panel

Prolog Versions

 

037 Parellel Universe With Ron Pressler

036 Quickcheck with John Huges

John Hughes joins us to talk about quickcheck and the how property based testing works. We cover various aspects of PBD, including sizing and shrinking tests, as well as doing TDD with quickcheck.

Panel

Notes

To use quickcheck mini with rebar just copy quickcheck mini to the erlang lib directory