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