DC. Probabilistic logic language for inference, planning and learning in static and dynamic domains
ML. Python
