#

predicate-logic

Here are 2 public repositories matching this topic...

ShristiK / Firewall-Rules-Encoded-in-Prolog

ipv4 and ipv6 packet rules encoded in prolog

prolog logic-programming firewall-rules predicate-logic

Updated Jul 31, 2023
Prolog

felipefrm / predicate-logic

🧮 Trabalho Pratico - Logica Aplicado a Computação

prolog-programming-language prolog-exercises predicate-logic

Updated Dec 9, 2019
Prolog

Improve this page

Add a description, image, and links to the predicate-logic 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 predicate-logic topic, visit your repo's landing page and select "manage topics."