Combining Prolog with Imperative Programming

Discussion
29

True. I have an embedded Prolog DB initialized from a file. The user interface modifies the DB with assert and retract and also sends queries. The user does not have direct access to the interpreter.