Rewriting Logic: A logical and semantic framework where computation is modelled through the application of rewrite rules that describe transformations of abstract states.

Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated.

Jennifer Burg, Anne Boyle, Sheau-Dong Lang, Using Constraint Logic Programming to Analyze the Chronology in "A Rose for Emily", Computers and the Humanities, Vol. 34, No. 4 (Dec., 2000), pp. 377-392 ...