�� : ��
pyke

from pyke import knowledge_engine

# ����������� ���� ������
engine = knowledge_engine.engine(__file__)

# �������� ���� ������
engine.activate('space_travel_rules')

# ������� ��������� ����� � ������� �����
start_point = "Earth"
target_point = "Mars"

# ���������� ������� �� ����� ������������ ��������
with engine.prove_goal(
        f'space_travel.find_optimal_route({start_point}, {target_point})') as gen:
    for vars, plan in gen:
        print(f"Optimal route found: {plan}")

engine.reset()  # ����� ������ ����� �������������
# ������ ������ � ������ ���� ������ space_travel_rules

# ����� � �������������� ����� ������
gravitational_field(planet, field_strength).

gravitational_field(earth, 9.8).
gravitational_field(mars, 3.7).

# ����� � ������� ������� �������
fuel_consumption(distance, ship_mass, fuel_consumed).

fuel_consumption(X, Y, 100) :-
    X > 1000,
    Y > 1000.
    
fuel_consumption(X, Y, 50) :-
    X > 1000,
    Y =< 1000.
    
fuel_consumption(_, _, 10).

# ������� ��� ������ ������������ ��������
space_travel.find_optimal_route(Start, Target) :-
    calculate_route(Start, Target, Route),
    minimize_fuel_consumption(Route, OptimalRoute),
    return(OptimalRoute).
��