diff --git a/lib/lib_import.metta b/lib/lib_import.metta index 2423b5f..58d54dc 100644 --- a/lib/lib_import.metta +++ b/lib/lib_import.metta @@ -12,4 +12,4 @@ ($function (superpose $importfunctions))) (import_prolog_function $function))) -!(import_prolog_functions_from_file (library lib_import.pl) (static-import! git-import!)) +!(import_prolog_functions_from_file (library lib_import.pl) (static-import! git-import! use-module!)) diff --git a/lib/lib_import.pl b/lib/lib_import.pl index 784b8b8..19807fc 100644 --- a/lib/lib_import.pl +++ b/lib/lib_import.pl @@ -46,6 +46,9 @@ qcompile(PlFile), consult(QlfFile) ). + +'use-module!'(Module, true) :- use_module(library(Module)). + %%% Git Import: %%% 'git-import!'(GitPath, true) :- 'git-import!'(GitPath, '', './repos', true). diff --git a/lib/lib_roman.metta b/lib/lib_roman.metta index db30223..b8172ec 100644 --- a/lib/lib_roman.metta +++ b/lib/lib_roman.metta @@ -84,5 +84,8 @@ ;Utils +(= (fst ($a $b)) $a) +(= (snd ($a $b)) $b) + ;(= (prog1 (cons $x $xs)) $x) ;(= (progn (rcons $xs $x)) $x)