manual
SWI-Prolog Wiki entry There is a wiki entry at the SWI-Prolog Discourse Group with a lot of links. Gentle introduction A paper describing SWI-Prolog in general An Overview of the SWI-Prolog Programming Environment (January 2003) Learn Prolog Now by Patrick Blackburn, Johan Bos, and Kristina Striegnitz. Available in book form since 2006, too. In English and French (" Prolog tout de suite " ... but
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
SWI-Prolog -- Arithmetic
SWI-Prolog -- library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
SWI-Prolog -- library(clpb): CLP(B): Constraint Logic Programming over Boolean Variables
