Аннотация к книге "Algebraic Logic Functional Programming Language"
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Algebraic Logic Functional programming language also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. ALF was designed to be genuine integration...
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Algebraic Logic Functional programming language also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. ALF was designed to be genuine integration of both programming paradigms, and thus any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. ALF's operational semantics is based on the resolution rule to solve literals and narrowing to evaluate functional expressions. In order to reduce the number of possible narrowing steps, a leftmost-innermost basic narrowing strategy is used which, it is claimed, can be efficiently implemented.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
В каждой из четырёх книг серии спрятана увлекательная игра: на первой странице мы видим лягушку, улитку, шмеля и божью коровку вблизи, а на следующих они оказываются всё дальше и дальше. С каждой страницей нарисованный мир расширяется, и всё труднее разглядеть среди множества деталей пейзажа одно крохотное существо. Эти книги знакомят ребёнка с миром природы во всём его многообразии и одновременно...
Издательство:
Лабиринт-пресс
Дата выхода: февраль 2019
Панические атаки, тревога, депрессия — ментальные проблемы ежедневно портят жизнь миллионам людей по всему миру. Если ваш мозг перестал справляться с постоянным стрессом, плохими новостями и последствиями нездорового образа жизни, ему — и вам — срочно требуется помощь! Доктор Фейт Харпер, практикующий психолог и спикер TEDx, в своей книге рассказывает, какие практики для выздоровления реально работают и...
Оставить комментарий