examples

help edit space_dashboard
</> Example Implementation
Type-driven composition
Shows AI-DSL's automatic composition of typed services into coherent workflows via backward chaining.
; AI-DSL automatic service composition ; Backward chaining with dependent types !(ai-dsl-compose (goal (-> Image DiagnosisReport)) (available-services (image-classifier (-> Image Labels)) (symptom-mapper (-> Labels Symptoms)) (diagnosis-engine (-> Symptoms DiagnosisReport)))) ; => Composed pipeline: image-classifier ; >> symptom-mapper >> diagnosis-engine