English Unordered Declarative Logic Programming: Theory, Systems, and Applications Michael KiferandYanhong Annie Liu 2018 View book