Tutti i documenti taggati con contextual programming

• From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
• A Structured Logic Programming Approach to Robot Programming