Search code examples
functional-programmingprologlogicpseudocodelanguage-implementation

Implementation of Prolog in a Pure Functional Language

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.

Solution

  • The famous SICP book has a chapter on logic programming