Giters

tedrepo / FirstOrderLogic

HCMUS's "Artificial Intelligence" - 2nd Project

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

FirstOrderLogic

Project 2 in Artificial Intelligence: First Order Logic

About

HCMUS's "Artificial Intelligence" - 2nd Project

Languages

Language:Python 58.2%Language:Prolog 41.8%