text: 170. Clocksin & Mellish 2003, pp. 237–238, 252–255, 257, The Relation of Prolog to Logic; 
  
  Daintith & Wright 2008, Logic Programming Languages (https://www.encyclopedia.com/com 
  puting/dictionaries-thesauruses-pictures-and-press-releases/logic-programming-languages). 
  
  171. O'Regan 2016, p. 49; Calderbank & Sloane 2001, pp. 768. 
  172. Daintith & Wright 2008, Logic Gate (https://www.encyclopedia.com/computing/dictionaries-th 
  
  esauruses-pictures-and-press-releases/logic-gate). 
  
  173. Janssen & Zimmermann 2021, pp. 3–4; Partee 2016; King 2009, pp. 557–8; Aloni & Dekker 
  
  2016, pp. 22–23 (https://books.google.com/books?id=ltSgDAAAQBAJ&pg=PT22). 
  
  174. Warren 2020, 6. The Epistemology of Logic; Schechter. 
  175. Warren 2020, 6. The Epistemology of Logic. 
  176. Schechter. 
  177. Gómez-Torrente 2019. 
  178. Warren 2020, 6. The Epistemology of Logic; Gómez-Torrente 2019; Warren 2020, 1. What is 