I would be greatly appreciative of a simple pseudo-code algorithm for implementing Prolog, where the pseudo-code is taken to be for a pure functional language.
I would be greatly appreciative of a simple pseudo-code algorithm for implementing Prolog, where
Share
The famous SICP book has a chapter on logic programming