Fix Prolog memory leaks.

Apparently foreign frames ARE needed when calling Prolog from C. The
official documentation is very terse and could make this clearer.

To summarize, whenever a term is created (e.g., PL_new_term_refs), its
reference count is increased by one. It is garbage-collected when its
reference count hits zero. But the reference count is never decreased
unless (a) control returns to Prolog after executing a foreign
predicate -- which does not happen in my application -- or (b) the
foreign frame in which the term was created is closed.

In other words, terms must be created within a foreign frame. This is
achieved by initializing a Frame object before creating the term and
destroying it once the term has served its purpose.

The destructor for Frame does not DISCARD the frame, only CLOSE it.
The former would also invalidate all data bound by the terms, which is
usually undesirable.

1 files changed, 12 insertions, 0 deletions

diff --git a/c/pl.h b/c/pl.h
index 1ad0967..4268dad 100644
--- a/c/pl.h
+++ b/c/pl.h
@@ -7,6 +7,17 @@
 int PL_get_tchars(term_t t, TCHAR** pTsz, int iFlags);
 int Plx(const char* szMod, const char* szPred);
 
+struct Frame
+{
+	Frame();
+	~Frame();
+	void Close();
+	void Discard();
+	void Rewind();
+private:
+	fid_t m_f;
+};
+
 struct Query
 {
 	Query(module_t ctx, predicate_t p, term_t t0);
@@ -65,6 +76,7 @@ int Countv(const int i, T, R... rest) { return Countv(i+1, rest...); }
 template <typename ...T>
 int Plx(const char* const szMod, const char* const szPred, T... args)
 {
+	Frame f;
 	const int iArity = Countv(0, args...);
 	const term_t t = PL_new_term_refs(iArity);
 	if (!PlPutv(t, args...)) return 0;