GitHub repository: kiancross/cnf-prolog
Primary language: Prolog
Created: 2021-06-12T23:38:48Z
Description: A GNU Prolog programme to convert boolean expressions into CNF.