Skip to content

hanzopgp/ALCTableauxProlog

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

24 Commits
rapport
rapport
 
 
src
src
 
 
LICENSE
LICENSE
 
 
ProjetDurandKordon.zip
ProjetDurandKordon.zip
 
 
README.md
README.md
 
 

Repository files navigation

ALCTableauxProlog

Method of analytic tableaux of ALC logic with prolog language.

About

Solver using method of analytic tableaux of ALC logic in Prolog.

Topics

university solver logic prolog artificial-intelligence alc tableaux

Resources

Readme

License

MIT license
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages