SWI-Prolog is the world's most popular implementation of the Prolog programming language.
SWISH (SWI)-Prolog for SHaring is a web based shared notebook environment for SWI-Prolog.
Amalgame: Managing alignments in large vocabularies
Amalgame, short for AMsterdam ALignment GenerAtion MEtatool, is a Semantic Web tool for finding, evaluating and managing vocabulary alignments, i.e. relating corresponding concepts in different vocabularies.