GitHub - ParisaArbab/AI--First-Order-Logic-and-Prolog: Artificial Intelligence- First Order Logic and Prolog

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
AI-3.pdf		AI-3.pdf
AI-Three(1).pdf		AI-Three(1).pdf

About

Artificial Intelligence- First Order Logic and Prolog

ai prolog first-order-logic artificial-intelligence prediction-model resolution-proof refutation-resolution

Report repository

Releases

No releases published

Packages

No packages published