Articles on Prolog and logic programming applied to valuation — encoding appraisal doctrine, standards, and protocols as executable rules and knowledge bases.
