Article final ivan f
600.325/425 Declarative Methods - J. Eisner 1 Prolog: Programming in Logic with some mention of Datalog and Constraint Logic Programming.
ETABS exampleR
Methodology
Prolog: Programming in Logic
ETABS Prob Examples