More Related Content
More from Alexander Petrov
More from Alexander Petrov (20)
моя
- 6. Системы на основе правил fact (door1):- isOpen; fact (door2):- isClosed; canMove(X) :- door(X), noBody; canMove(X) :- tryOpen(X); goFarAway(X) :- canMove(X), goFarAway(X); >goFarAway(cell1) ?