SWI Prolog if语句工作原理解析及网格生成技术问询

Hey there! Let's tackle your two questions one by one—first breaking down how if statements work in SWI Prolog (since it's very different from imperative languages), then walking through a simple grid generation example for your platform game.

Part 1: How If-Then-Else Works in SWI Prolog #

Prolog is a logic programming language, so its "if" behavior isn't the same as what you'd see in Python or C. Instead of executing a sequence of commands conditionally, Prolog uses deterministic choice via the -> (if-then) and ;/2 (else) operators. Here's the breakdown:

Core Syntax & Behavior #

The basic structure for an if-then-else in Prolog is:

Condition -> ThenClause ; ElseClause

• If Condition successfully unifies (matches) and evaluates to true, Prolog executes ThenClause and skips the ElseClause entirely (no backtracking here).
• If Condition fails, Prolog moves to ElseClause.
• You can chain multiple if-then clauses together for more complex logic.

Key Notes #

• Unlike regular Prolog clauses (which allow backtracking), -> creates a cut-like effect: once a branch is taken, Prolog won't backtrack to previous options in that chain.
• You can use -> alone (without ;) if you only want to execute code when a condition is true (if the condition fails, the entire subclause fails).

Simple Examples #

Example 1: Basic Number Comparison

% Compare two numbers and print a result
compare_numbers(X, Y) :-
    X > Y -> write('X is larger than Y');
    X < Y -> write('X is smaller than Y');
    write('X and Y are equal').

Try querying it:

?- compare_numbers(5, 3). % Output: X is larger than Y
?- compare_numbers(2, 7). % Output: X is smaller than Y
?- compare_numbers(4, 4). % Output: X and Y are equal

Example 2: Conditional Assertion

% Add a user to the database only if they're an adult
add_adult_user(Name, Age) :-
    Age >= 18 -> assertz(user(Name, adult));
    write('Cannot add minor user').

Query:

?- add_adult_user('Alice', 22). % Adds user('Alice', adult) to the DB
?- add_adult_user('Bob', 16).   % Output: Cannot add minor user

Part 2: Grid Generation for Your Platform Game #

Let's build a simple system to generate a grid with ground, platforms, and empty spaces—perfect for a 2D platformer. We'll use Prolog's database to store grid cells, and add logic to generate structured (but random) levels.

Step 1: Define Grid Structure & Objects #

First, we'll represent each cell with a cell(X, Y, Object) fact, where:

• X = column number (left to right)
• Y = row number (top to bottom, adjust as needed)
• Object = what's in the cell (empty, ground, or platform)

% Define valid objects for our game
game_object(empty).
game_object(ground).
game_object(platform).

Step 2: Generate the Grid #

We'll write rules to generate rows, then stitch rows together into a full grid. To make it platform-game friendly, we'll:

• Make the bottom 3 rows solid ground (so players have a base)
• Generate random platforms in the upper rows (30% chance per cell)

% Generate a full grid of size MaxX columns x MaxY rows
generate_grid(MaxX, MaxY) :-
    retractall(cell(_, _, _)), % Clear existing grid first
    generate_grid_rows(1, MaxX, MaxY).

% Helper: Generate each row one by one
generate_grid_rows(Y, _, MaxY) :-
    Y > MaxY, !. % Stop when we exceed the max row number
generate_grid_rows(Y, MaxX, MaxY) :-
    % Bottom 3 rows are solid ground
    (Y >= MaxY - 2 -> generate_ground_row(Y, MaxX); generate_mixed_row(Y, MaxX)),
    NextY is Y + 1,
    generate_grid_rows(NextY, MaxX, MaxY).

% Generate a row of solid ground
generate_ground_row(Y, MaxX) :-
    generate_ground_row_cell(1, Y, MaxX).

generate_ground_row_cell(X, _, MaxX) :-
    X > MaxX, !.
generate_ground_row_cell(X, Y, MaxX) :-
    assertz(cell(X, Y, ground)),
    NextX is X + 1,
    generate_ground_row_cell(NextX, Y, MaxX).

% Generate a row with random empty spaces and platforms
generate_mixed_row(Y, MaxX) :-
    generate_mixed_row_cell(1, Y, MaxX).

generate_mixed_row_cell(X, _, MaxX) :-
    X > MaxX, !.
generate_mixed_row_cell(X, Y, MaxX) :-
    random(0, 10, Rand), % Get a random number between 0-9
    (Rand < 3 -> Object = platform; Object = empty), % 30% chance for platform
    assertz(cell(X, Y, Object)),
    NextX is X + 1,
    generate_mixed_row_cell(NextX, Y, MaxX).

Step 3: Print the Grid #

To visualize our generated world, add a rule to print the grid to the console:

% Print the entire grid
print_grid(MaxX, MaxY) :-
    print_grid_rows(1, MaxX, MaxY).

print_grid_rows(Y, _, MaxY) :-
    Y > MaxY, !.
print_grid_rows(Y, MaxX, MaxY) :-
    print_grid_row_cells(1, Y, MaxX),
    nl, % New line after each row
    NextY is Y + 1,
    print_grid_rows(NextY, MaxX, MaxY).

print_grid_row_cells(X, _, MaxX) :-
    X > MaxX, !.
print_grid_row_cells(X, Y, MaxX) :-
    cell(X, Y, Object),
    write(Object), write(' '), % Print object with a space
    NextX is X + 1,
    print_grid_row_cells(NextX, Y, MaxX).

How to Use It #

Run these queries in SWI Prolog:

?- generate_grid(10, 8). % Generate a 10x8 grid
?- print_grid(10, 8).    % Print the grid to see your world!

You'll get output like:

empty empty platform empty empty empty empty empty empty empty 
empty platform empty empty empty platform empty empty empty empty 
empty empty empty empty platform empty empty empty empty empty 
empty empty empty empty empty empty empty platform empty empty 
ground ground ground ground ground ground ground ground ground ground 
ground ground ground ground ground ground ground ground ground ground 
ground ground ground ground ground ground ground ground ground ground 

内容的提问来源于stack exchange，提问作者G_V