Mercury

Mercury 13.05.1

языки логического программирования были вокруг в течение более чем двадцати лет. Несмотря на ожидаемые преимущества языка программирования очень высокого уровня, основанной на хорошо развитой теории логики по сравнению с традиционными языками...