• SWI-Prolog's Home
  logic programming
  SWI-Prolog -- an LGPL comprehensive and portable Prolog compiler
  artificial intelligence language programming prolog
  in Public bookmarks with freeware programming prolog by 3 users

prolog from all users