Logic-Based Languages to Model and Program Intelligent Agents