4 ms·
As a total counterpoint, here is a decidedly non-real-world application of Prolog: writing theorem provers in Prolog. https://link.springer.com/book/10.1007/97
by Tainnor 6y ago
As a total counterpoint, here is a decidedly non-real-world application of Prolog: writing theorem provers in Prolog.
https://link.springer.com/book/10.1007/978-1-4684-0357-2 https://link.springer.com/book/10.1007/978-1-4684-0357-2