it.unical.mat.embasp.specializations.dlv.android
Classes
DLVAndroidReasoner
DLVAndroidService