Dataflow, Flowcharts, and "LUCID"-style Programming in Logic