m0hamed/fol-solver m0hamed/fol-solver

  • Stars
    star
    1
  • Language
    Python
  • License
    MIT License
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
m0hamed/fol-solver
github

m0hamed

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Implementing unification and clause form for first order logic statements for an Introduction to Artifitial intelligence course

More Repositories

1

lkm-rootkit

A rootkit implemented as a linux kernel module
C
16
star
2

TicTacToe-python-AI

TicTacToe AI in python
Python
2
star
3

phpmyadmin-error-reporting-server

phpmyadmin server side component for the error reporting system
PHP
1
star
4

nurse_scheduler

Nurse scheduler using clpfd
Prolog
1
star