Implementation of Prolog in a Pure Functional Language [closed]

Question

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.

Closed 9 years ago.

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.

Answer 1

The famous SICP book has a chapter on logic programming