parhamp

The validator part of the program almost uses backward-chaining implementation. The "list" of goals" for the backward-chaining is created by the definer part of the program which uses a recursive function.

All ORs are inclusive disjunction.

Very interesting! Do you know how is the constraint solver library implemented? Does it use a different general implementation than the regular prolog statements?

That is a very useful comparison. Thank you.

Similar but prolog is much broader and more general purpose of course.

Awesome! I'll research about that. Thank you!

NLI is a clickable python file. When you click on it you enter a command line interface.

Thank you!

Interesting! That would be very expensive for API use since it captions the images each time the page loades

It recognizes Donald Trump's Face lol Checkout the samples :D

Believe it or not it detects adult content!