logic-in-computer-science

Here are 2 public repositories matching this topic...

maciej-nowak / LCS-Conjunctive-Normal-Form

Converting formula into CNF using rules. Created at the University as the project within Logic in Computer Science classes in 2016. The purpose of this project was to learn converting formulas into CNF based on Prolog's rules.

university logic prolog logic-programming cnf conjunctive-normal-form logic-in-computer-science prolog-rules

Updated Feb 14, 2018
Prolog

muneeb706 / Prolog-Programs

Star

Solutions of Logic in Computer Science problems in Proloh.

logic-programming prolog-programming-language logic-in-computer-science

Updated Apr 2, 2020
Prolog

Improve this page

Add a description, image, and links to the logic-in-computer-science topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logic-in-computer-science topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly