1chapter CCL 2 3session CCL = Pure + 4 description " 5 Author: Martin Coen, Cambridge University Computer Laboratory 6 Copyright 1993 University of Cambridge 7 8 Classical Computational Logic based on First-Order Logic. 9 10 A computational logic for an untyped functional language with 11 evaluation to weak head-normal form. 12 " 13 sessions 14 FOL 15 directories "ex" 16 theories 17 Wfd 18 Fix 19 (* Examples for Classical Computational Logic *) 20 "ex/Nat" 21 "ex/List" 22 "ex/Stream" 23 "ex/Flag" 24