Logic programming (source code)

= Logic programming
{wiki}