3 ms·
My reading of the linked references indicate that the system is not using Prolog or even Horn clauses. They are using a logic inference engine, but it isn't a P
by todd8 6y ago
My reading of the linked references indicate that the system is not using Prolog or even Horn clauses. They are using a logic inference engine, but it isn't a Prolog system.
- nahuel0x 6y agois a Prolog derivative with FOHH clauses, first post says it.