tuProlog/dalvik

tuProlog connected; dalvik library added manually.