• SWI-Prolog
  
  SWI-Prolog -- an LGPL comprehensive and portable Prolog compiler
  artificial intelligence language programming prolog
  By mcswell in Software > Programming Languages > Prolog with prolog software swi-prolog by 3 users

Results 1 - 1 for swi-prolog