Язык программирования ShapeUp. ShapeUp - ещ один язык логического программирования, в основу которого положен Пролог, расширенный средствами сопоставления строк. В ShapeUp образцы строк рассматриваются так же, как и термы Пролога, и их сопоставление возложено на процесс унификацию. Таким образом, программы на ShapeUp значительно проще, чем аналогичные программы на Прологе, их легче писать и понимать.
Сокращается значительно и размер программ. Прологу присущи недетерминированность и сопоставление с образцом. Эти свойства очень полезны для разработки систем обработки информационных знаний. К таким система можно отнести системы понимания естественного языка и другие системы интеллектуальной обработки текстов. Для подобных приложений очень важна операция сопоставления строк. Однако механизм сопоставления с образцом в таком виде, как он существует в Прологе, недостаточен для сопоставления строк.
Причина заключена в терм-терм механизме сопоставления. ShapeUp попытка разработать более практический, свободный от присущего Прологу недостатка инструмент программирования. Характерной чертой ShapeUp, отличающей его от традиционных Пролог-систем, является выполняемая при унификации функция сопоставления строк. В ShapeUp включено несколько операторов сопоставления строк. Язык позволяет конструировать образцы строк, представляемые как термы Пролога.
Образцы могут унифицироваться с различными строковыми объектами расширена унификация для выполнения сопоставления строк. В результате ShapeUp-программы проще и имеют более прозрачную семантику, их легче писать. Список языков логического программирования можно продолжать ещ долго. Кроме перечисленных выше, к языкам логического программирования относятся также Дейталог, LogLisp и множество других. Но хотелось бы ещ остановиться на таком языке, как Лисп от англ. Lisp list processing обработка списков. 3.