はじめまして、お世話になります。

AZ-Prolog ver9 for Windows をインストールし、
azp.libを Visual Studio 2015 (C++) で個人開発中のアプリにリンクして使用しています。

以下の問題が発生しており、心あたりの範囲で原因を記載しました。
azp.libを Visual Studio 2015 で再コンパイルしていただければ解決するような気がしております。
まずはご検討ください。必要があれば何卒対応をお願いします。

■事象
assertzの実行時に、メモリアクセス違反を示す0xc0000005が発生することを確認しました。
このエラーは一回の実行では発生せず、Prolog起動時に設定したヒープメモリがなくなり次第発生しているように見えます
（「■（参考）使用箇所の抜粋」で1024と設定したヒープオプション値を10倍にすると、10倍の回数分だけassertzが成功します）。

■原因（検証手段がなく、断定には至っていません）
結果的にはabolishによるヒープ解放がうまくいっていないと思われます。
しかし、abolishコマンドを引数としたaz_execの返却値が1であることから、使用方法に問題があるとは考えていません。
以前 ver7 ＆ Visual Studio 2013 の組み合わせで同じく使用した際には問題が発生しなかったということもあり、
ver9 ＆ Visual Studio 2015 の連携に根本原因があることを疑っています。

※Visual Studio 2015 では標準関数のリファクタリングが実施されており、azp.lib をリンクするためには、以下の追加手順が必要でした。
①legacy_stdio_definitions.libを追加リンクすること
②extern “C” { FILE __iob_func[ 3 ] = { *stdin, *stdout, *stderr }; } を定義すること
マイクロソフトの情報では②が伏せられていて、静的ライブラリは最新環境で再コンパイルすることが推奨されています。
https://msdn.microsoft.com/ja-jp/library/bb531344.aspx

■ひとまずエラーを回避する方法
・一連の試行ごとに、Prologを再起動する
運用的な回避方法です。オーバーヘッドは大きいですが、この方法しか発見できていません。
起動時にヒープ容量を調節して何サイクルかごとに再起動するのは安全ではないでしょうから、試していません。

■（参考）使用箇所の抜粋

#pragma comment(lib,"legacy_stdio_definitions.lib")
#pragma comment(lib,"azp.lib")
extern "C" { extern int az_init(int argc, char **argv); }
extern "C" { extern int az_end(void); }
extern "C" { extern int az_exec_unify(char *args, int n, ...); }
extern "C" { extern int az_exec(char *goal); }
extern "C" { FILE __iob_func[ 3 ] = { *stdin, *stdout, *stderr }; }

// Prolog起動
int argcp = 3;
char* argvp[] = { "calibration", "-h", "1024" };
char program[] = "['20160413.pl']";
ASSERT( az_init( argcp, argvp ) == 1 );
ASSERT( az_exec( program ) == 1 );

// 全体の繰り返しを何回か実行していると、assertzの実行時にエラーとなります。
while (...)
{
  // assertz実行
  while (...)
  {
    char goal[ 128 ];
    sprintf_s( goal, "assertz(plot(%d,%d))", plot->x(), plot->y() );
    ASSERT( az_exec( goal ) == 1 );
  }
  
  // 目的クエリの実行
  char retVar1[ 256 ];
  char retVar2[ 256 ];
  char retVar3[ 256 ];
  char retVar4[ 256 ];
  sprintf_s( goal, "query(%d,%d,A,B,C,D,E)", data->x(), data->y() );
  if ( az_exec_unify( goal, 4, retVar1, retVar2, retVar3, retVar4 ) )
  {
    ...
  }
  else
  {
    ...
  }
  
  // abolish実行
  sprintf_s( goal, "abolish(plot,2)" );
  ASSERT( az_exec( goal ) == 1 );

  // Prolog再起動
  /*
  ASSERT( az_end() == 1 );
  ASSERT( az_init( argcp, argvp ) == 1 );
  ASSERT( az_exec( program ) == 1 );
  */
}