Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add partial comments to metta_interp.pl. Update the chess program. These are partial updates. #21

Merged
merged 4 commits into from
Dec 30, 2024
Merged

Add partial comments to metta_interp.pl. Update the chess program. These are partial updates. #21

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
393f6e6
updated
jazzbox35 Dec 30, 2024
949d679
start of comments -- partial only!
jazzbox35 Dec 30, 2024
6626a9a
start of comments -- partial only!
jazzbox35 Dec 30, 2024
70e7d6d
start of comments -- partial only!
jazzbox35 Dec 30, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 11 additions & 11 deletions examples/games/GreedyChess.metta
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@
; * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
; * POSSIBILITY OF SUCH DAMAGE.
;**********************************************************************
;
; *

;*******************************************************
; Global type definitions
Expand Down Expand Up @@ -262,8 +262,8 @@

; identify_piece inputs an expression of a piece, eg: "(2 1 s n)," and outputs a shorted two character string
; describing the piece, eg: "*n" which means that it is the human player's knight (the astrisk denotes human player pieces).
(: identify_piece (-> Expression Atom))
(= (identify_piece $p)
(: identify_piece (-> list symbol))
(= (identify_piece $p)
(if (== (size-atom $p) 2)
" "
(let*
Expand All @@ -277,13 +277,13 @@
)

; Input the board, output a list of the board easier to read with an identifier for each piece, eg., human king is "*k."
(: display_filter (-> Expression Atom))
(= (display_filter $board)
(if (== (size-atom $board) 1)
; if on last piece
((identify_piece (car-atom $board)))
(: display_filter (-> list list))
(= (display_filter $brd)
(if (== (size-atom $brd) 1)
; if on last piece, return a one element list of this form eg.: (*k). Extra parens are needed to create list.
( (identify_piece (car-atom $brd)) )
; otherwise convert all pieces to shorter description for display.
(let $rest (display_filter (cdr-atom $board)) (cons-atom (identify_piece (car-atom $board)) $rest))))
(let $i (display_filter (cdr-atom $brd)) (cons-atom (identify_piece (car-atom $brd)) $i))))

(= (display_board $board)
(
Expand All @@ -309,9 +309,9 @@

$a)))))


!(chess)
!(get-player-move)
;!(chess)

;

;
Expand Down
216 changes: 191 additions & 25 deletions prolog/metta_lang/metta_interp.pl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,16 @@
* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
* POSSIBILITY OF SUCH DAMAGE.
*/

%*********************************************************************************************
% PROGRAM FUNCTION: Interpret MeTTa code within the SWI-Prolog environment, enabling logical
% inference, runtime evaluation, and cross-language integration with Python and Rust.
%*********************************************************************************************

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% IMPORTANT: DO NOT DELETE COMMENTED-OUT CODE AS IT MAY BE UN-COMMENTED AND USED
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Set the encoding for the Prolog system to UTF-8 to ensure proper handling of characters.
% The previously commented out line was for iso_latin_1 encoding.
% UTF-8 is more universal and can handle a wider range of characters.
Expand Down Expand Up @@ -103,8 +113,6 @@
% This library provides tools for generating and interacting with Prolog documentation.
:- ensure_loaded(library(pldoc)).



/*
% Set the encoding of the `current_input` stream to UTF-8.
% This ensures that any input read from `current_input` (which is typically `user_input`) is interpreted as UTF-8.
Expand Down Expand Up @@ -136,24 +144,77 @@
*/
%:- set_prolog_flag(debug_on_interrupt,true).
%:- set_prolog_flag(compile_meta_arguments,control).
:- (prolog_load_context(directory, Value);Value='.'), absolute_file_name('../../libraries/',Dir,[relative_to(Value)]),
atom_concat(Dir,'predicate_streams',PS),
atom_concat(Dir,'logicmoo_utils',LU),
attach_packs(Dir,[duplicate(replace),search(first)]),
pack_attach(PS,[duplicate(replace),search(first)]),
pack_attach(LU,[duplicate(replace),search(first)]).

% Load required Prolog packs and set up their paths dynamically.
%
% - Ensures consistent library resolution regardless of the system or environment.
% - Avoids issues arising from hard-coded paths.
% - Facilitates maintainability and portability of the codebase.
% - Supports dynamic pack management during runtime without requiring manual adjustments.
%
:- (prolog_load_context(directory, Value); Value='.'),
% Resolve the absolute path to the '../../libraries/' directory.
absolute_file_name('../../libraries/', Dir, [relative_to(Value)]),
% Build paths for specific libraries/packs.
atom_concat(Dir, 'predicate_streams', PS),
atom_concat(Dir, 'logicmoo_utils', LU),
% Attach the base library directory with specified options.
attach_packs(Dir, [duplicate(replace), search(first)]),
% Attach the `predicate_streams` and `logicmoo_utils` packs.
pack_attach(PS, [duplicate(replace), search(first)]),
pack_attach(LU, [duplicate(replace), search(first)]).

% :- attach_packs.
%:- ensure_loaded(metta_interp).
is_win64:- current_prolog_flag(windows,_).
is_win64_ui:- is_win64,current_prolog_flag(hwnd,_).

%! is_win64 is nondet.
%
% Succeeds if the current Prolog system is running on a 64-bit Windows operating system.
%
% This predicate checks the Prolog flag `windows` to determine if the current operating
% system is Windows. It does not specifically check whether it is a 32-bit or 64-bit version,
% but typically Prolog systems set this flag on any Windows environment.
%
% @example Check if the system is running on Windows:
% ?- is_win64.
% true.
%
is_win64 :-
% Check if the 'windows' Prolog flag is set.
current_prolog_flag(windows, _).

%! is_win64_ui is nondet.
%
% Succeeds if the current Prolog system is running on a 64-bit Windows operating system
% and has a graphical user interface (GUI) enabled.
%
% This predicate extends `is_win64/0` by also checking if the `hwnd` Prolog flag is set,
% which typically indicates the presence of a GUI (e.g., SWI-Prolog's graphical tools).
%
% @see is_win64/0
% @see current_prolog_flag/2
%
% @example Check if the system is running on Windows with a GUI:
% ?- is_win64_ui.
% true.
%
is_win64_ui :-
% First, verify if running on Windows.
is_win64,
% Then, verify if the 'hwnd' Prolog flag is set, indicating GUI availability.
current_prolog_flag(hwnd, _).

% This predicate is used as a guard condition in stream-related operations
% to prevent unintended changes to Prolog's standard input, output, or error streams.
% It ensures that existing stream configurations remain intact, avoiding conflicts
% during operations that might otherwise alter stream properties.
dont_change_streams:- true.

%! lazy_load_python is det.
%
% This predicate represents a placeholder or a stub for lazily loading the Python
% integration. Currently, it does not contain any implementation logic.
% Presumably, it would attempt to load Python-related resources or interfaces
% This would attempt to load Python-related resources or interfaces
% when needed, avoiding unnecessary overhead if Python is not required.
%
% The implementation should be added to perform the actual lazy loading of
Expand All @@ -162,40 +223,146 @@
:- dynamic(lazy_load_python/0).
lazy_load_python.

% 'dynamic' enables runtime modification
:- dynamic(user:is_metta_src_dir/1).
% Ensure the `user:is_metta_src_dir/1` predicate is updated with the current directory.
% This retrieves the current loading directory, clears any previous assertions,
% and asserts the new directory dynamically.
:- prolog_load_context(directory,Dir),
retractall(user:is_metta_src_dir(_)),
asserta(user:is_metta_src_dir(Dir)).

metta_root_dir(Dir):- is_metta_src_dir(Value), absolute_file_name('../../',Dir,[relative_to(Value)]).
metta_root_dir(Dir):- getenv('METTA_DIR',Dir),!.

metta_library_dir(Dir):- metta_root_dir(Value), absolute_file_name('./libraries/',Dir,[relative_to(Value)]).

metta_dir(Dir):- metta_library_dir(Value), absolute_file_name('./loaders/genome/',Dir,[relative_to(Value)]).
metta_dir(Dir):- is_metta_src_dir(Dir).
metta_dir(Dir):- metta_library_dir(Dir).
metta_dir(Dir):- metta_root_dir(Dir).
%metta_dir(Dir):- is_metta_src_dir(Value), absolute_file_name('../flybase/',Dir,[relative_to(Value)]).

%! metta_root_dir(-Dir) is det.
%
% Determines the root directory of the Mettalog project.
%
% This predicate attempts to determine the root directory by first using the
% `user:is_metta_src_dir/1` dynamic predicate. If that is unavailable or fails,
% it falls back to the `METTA_DIR` environment variable.
%
% @arg Dir The absolute path to the Mettalog root directory.
%
% @example Determine the Mettalog root directory:
% ?- metta_root_dir(Dir).
% Dir = '/path/to/metta/root'.
%
% @see is_metta_src_dir/1
% @see getenv/2
% @see absolute_file_name/3
metta_root_dir(Dir) :-
% Attempt to resolve the root directory relative to the source directory.
is_metta_src_dir(Value),
absolute_file_name('../../', Dir, [relative_to(Value)]).
metta_root_dir(Dir) :-
% Fallback to using the METTA_DIR environment variable.
getenv('METTA_DIR', Dir), !.

%! metta_library_dir(-Dir) is det.
%
% Determines the library directory of the Mettalog project.
%
% This predicate resolves the library directory relative to the Mettalog root
% directory using `metta_root_dir/1`.
%
% @arg Dir The absolute path to the Mettalog library directory.
%
% @example Determine the Mettalog library directory:
% ?- metta_library_dir(Dir).
% Dir = '/path/to/metta/root/libraries/'.
%
% @see metta_root_dir/1
% @see absolute_file_name/3
metta_library_dir(Dir) :-
% Resolve the library directory relative to the root directory.
metta_root_dir(Value),
absolute_file_name('./libraries/', Dir, [relative_to(Value)]).

%! metta_dir(-Dir) is det.
%
% Determines the directory path for the Mettalog system.
%
% This predicate tries multiple approaches to resolve the directory associated
% with Mettalog in a specific order. It prioritizes specific subdirectories, then
% falls back to source, library, and root directories.
%
% The resolution strategy is as follows:
% 1. It attempts to resolve the directory as a subdirectory of the Mettalog library
% path, specifically './loaders/genome/'.
% 2. Falls back to the directory specified by `is_metta_src_dir/1`.
% 3. Further falls back to the Mettalog library directory.
% 4. Finally, it falls back to the Mettalog root directory.
%
% @arg Dir The absolute directory path to the Mettalog system.
%
% @example Find the Mettalog directory:
% ?- metta_dir(Dir).
% Dir = '/path/to/metta/loaders/genome/'.
%
% @see metta_library_dir/1
% @see is_metta_src_dir/1
% @see metta_root_dir/1
metta_dir(Dir) :-
% Attempt to resolve using the Mettalog library directory and './loaders/genome/'.
metta_library_dir(Value),
absolute_file_name('./loaders/genome/', Dir, [relative_to(Value)]).
% Fallback to the source directory if the above resolution fails.
metta_dir(Dir) :-
is_metta_src_dir(Dir).
% Fallback to the Mettalog library directory if previous attempts fail.
metta_dir(Dir) :-
metta_library_dir(Dir).
% Final fallback to the Mettalog root directory.
metta_dir(Dir) :-
metta_root_dir(Dir).
% metta_dir(Dir) :- is_metta_src_dir(Value), absolute_file_name('../flybase/', Dir, [relative_to(Value)]).

% The Prolog 'dynamic' enables runtime modification of predicate.
:- dynamic user:file_search_path/2.
%
% The `user:file_search_path/2` predicate allows associating logical aliases
% with specific directories, making it easier to reference files without
% hardcoding their paths. In this case:
%
% - `library` is mapped to the Mettalog directory, enabling searches for
% library files relative to the Mettalog root.
% - `mettalog` is also mapped to the Mettalog directory, likely to handle
% specific files related to the MettalogLog transpiler/interpreter.
:- multifile user:file_search_path/2.
user:file_search_path(library,Dir):- metta_dir(Dir).
user:file_search_path(mettalog,Dir):- metta_dir(Dir).


%
% This directive conditionally loads the `logicmoo_utils` library if the system
% is detected as Windows 64-bit. If the platform is not Windows 64-bit, the
% directive does nothing.
%
:- is_win64 -> ensure_loaded(library(logicmoo_utils)) ; true.

% :- initialization(attach_packs).

% 'nodebug' disables specific debugging flags for various Mettalog-related modules.
%
% These directives ensure that certain debugging categories (`metta(eval)`,
% `metta(exec)`, `metta(load)`, and `metta(prolog)`) are disabled by default.
% This reduces console output noise and improves runtime performance in
% non-debugging environments.
%
:- nodebug(metta(eval)).
:- nodebug(metta(exec)).
:- nodebug(metta(load)).
:- nodebug(metta(prolog)).

%
% This section declares several dynamic and multifile predicates used in the
% Mettalog system. These predicates support runtime updates, extensibility, and
% modular design. They cover various aspects of Mettalog functionality.
%
% These predicates are marked as `dynamic` to allow runtime modifications
% and as `multifile` to enable contributions from multiple modules.
%
:- dynamic(function_arity/2).
:- dynamic(predicate_arity/2).


:-multifile(user:metta_file/3).
:-dynamic(user:metta_file/3).

Expand All @@ -207,7 +374,6 @@
:-multifile(metta_defn/3).
:-dynamic(metta_defn/3).


:-multifile(user:asserted_metta_pred/2).
:-dynamic(user:asserted_metta_pred/2).
:-multifile(user:loaded_into_kb/2).
Expand Down
Loading