Programowanie w logice z ograniczeniami Łagodne wprowadzenie dla platformy ECLiPSe - Antoni Niederliński - książka wyd. 2010

Opis

Książka „Programowanie w logice z ograniczeniami” to wprowadzenie do paradygmatu programowania deklaratywnego, który łączy logikę z mechanizmami rozwiązywania ograniczeń. Autorzy omawiają podstawy teoretyczne oraz praktyczne zastosowania, takie jak harmonogramowanie, planowanie czy rozwiązywanie problemów kombinatorycznych. Szczególną uwagę poświęcono językowi Prolog oraz platformie ECLiPSe, ilustrując zagadnienia przykładami,m.in.. problemem ośmiu hetmanów. Publikacja wyjaśnia różnice między klasycznym podejściem „generuj i testuj” a bardziej efektywnym „testuj, potem generuj”. To wartościowa pozycja dla studentów informatyki i osób zainteresowanych sztuczną inteligencją oraz optymalizacją.