... 16 ( clauses) ( goal), , , , . ... 26: , , : domains llist=i(integer);c(char);s(string) list=llistl* 2.11 domains, , predicates, clauses goal. : , , , , , . ... findall : Findall (Var_, Predicate_, List_), Var_ Predicate_, List_. 33: findall. domains d=integer predicates decimal (d) write_decimal clauses decimal (0) 37 decimal (1) decimal (2) decimal (3) decimal (4) decimal (5) decimal (6) decimal (7) decimal (8) decimal (9) write_decimal:- findall(C, decimal (C), L), write (L). goal write_decimal. ...

... 23 Algorithm fo r evalua tion of two burn maneuv ers using linearity Input information: ( t t E1 , rEI , v t1L , t E2 2L ( ) EI )T )T ­ ­ ­ ­ the time and the state vector of initial orbit for this time ; interval of possible thrusts for transition from initial orbit to the transfer on e; the time and the state vector of the target orbit for this time ; ... We cal culate the state vector for the initial orbit for the time t1a and the target one ­ for the time t2 a . ...