A Prolog execution model based on dataflow computation is described in term of the intermediate virtual machine. The virtual machine is operated at clause argument level to exploit argument parallelism through unification. The model utilises a new variable binding scheme that eliminates derefereces operations for accessing variables, and therefore simplifies OR-parallel implementation and binding management. A dataflow architecture in support of the model is presented, together with the initial evaluation of the model on the simulated architecture.