GitHub

","The GNU Prolog compiler (gprolog)

","GNU Prolog is a free Prolog compiler with constraint solving over finite","domains. GNU Prolog accepts a Prolog+constraint program and produces a","native binary ...
note

SWI-prologとAZ-prologの比較

prologには方言が多い。ISO述語ならば統一されているかと思いきや、そうでもないようだ。少々、両者を比較してみる。 atom_concat/3 (アリティはアトムを想定。なので数値は不可のはずだがSWIではくっついてしまう。まあ、よいことなのかもしれないが ...
note

Prolog処理系比較：current_predicate/1,current_prolog_flag/2 (AZ, SWI, GNU)

組込み述語一覧を取得したい場合がよくある。GNU-Prologでは strict_isoがdefaultになっているようで current_predicate/1 がnoになってしまう。set_prolog_flag(strict_iso,off) としてこれを解除してから実行する。AZ-Prologでは current_pred(X,Y) という述語もある。 GNU-Prolog | ?
GitHub

GNU Prolog

GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does ...
IEEE

GNU Prolog-PHP multi-tier integration

Abstract: The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware. Web application programming becomes more and more important issue. The meaning of ...