logic programming

<2023-09-21 Thu 19:36:36> mahmood
cs