В этой книжке упоминают следующие функционально-логические языки: Lambda-Prolog, SFL (развитие языка BABEL), Oz, Escher, Curry...Shaos wrote:Случайно купил на амазоне дешёвую книжку про совмещение логического программирования и функционального программирования, причём в отличном состоянии:
Christian Prehofer. Solving Higher-Order Equations: From Logic to Programming. 1998
Hopelog - гибрид Hope и Prolog
Moderator: Shaos
-
Shaos
- Admin
- Posts: 24442
- Joined: 08 Jan 2003 23:22
- Location: Silicon Valley
