理想演繹應用式語言