Mercury 13.05.1

Logic ohjelmointikieliä ovat olleet jo yli kaksikymmentä vuotta. Vaikka odotettavissa etuja erittäin korkean tason ohjelmointikieli perustuu hyvin kehittynyt teorioita logiikan perinteisiin ohjelmointikieliä (kuten C, C ++, Pascal ja Ada) niille ei ole...