We have developed two implementations for DyLPs, one for the refined semantics and another for the well founded semantics. 

The implementation of the well founded semantics requires XSB-Prolog. 

The implementation of the refined semantics requires XSB-Prolog as well and either smodels or DLV.