Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.

24. listopadu se v pražské Paralelní Polis opět uskuteční sraz webových vývojářů Poslední sobota alias PoSobota. Ku příležitosti 100. jsme se rozhodli ji uchopit trošku jinak. Větší. Okruh témat je různorodý, ale blízký webovému…