Abstract logic (source code)

= Abstract logic
{wiki=Abstract_logic}