Knowledge-based problem-solving in AL3