design user story logical - palexisru/pl2_rus GitHub Wiki

Логическое программирование

атом дочь; атом сын; атом внук;

правило родитель( x, y ) ::= дочь ( y , x ) || сын ( y , x );
правило предок (x , y) ::= дочь (x, t) && дочь (t, y);