I would like to embed a Prolog interpreter within a C program, so that it can be used to evaluate business rules.
Both SWI-Prolog and GNU Prolog seem to hint at havin