Dusa Programming Language (Finite-Choice Logic Programming)