I would like to ask what is the best (the most simple) way to implement a deductive system based on non-monotonic logic (example: can we do this using PROLOG)?

Thanks in advance!

More Maksim Tomic's questions See All
Similar questions and discussions