Edmondson, Robert C. J2017-12-212017-12-211993b1869037http://hdl.handle.net/1885/138502168 leavesenLogic programmingProlog (Computer program language)Constructive failure199310.25911/5d6e4e455cd6d2017-11-22