diogo/polynomialmani.pl
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

pushing things

Browse Source
This commit is contained in:
Diogo Cordeiro 2018-12-19 14:31:17 +00:00
parent 04199f670f
commit 8c2c66c6ba
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
polymani.pl
View File

@ -119,6 +119,9 @@ polynomial_tree_to_polynomial(A,B) :-
polynomial_tree_to_atomic_polynomial(A,Pa), polynomial_tree_to_atomic_polynomial(A,Pa),
term_to_atom(B, Pa). term_to_atom(B, Pa).
polynomial_tree_to_atomic_polynomial(load(L), P) :-
polynomial_store(L, P).
polynomial_tree_to_atomic_polynomial(op(Op, TL, TR), P) :- polynomial_tree_to_atomic_polynomial(op(Op, TL, TR), P) :-
polynomial_tree_to_atomic_polynomial(TL,A), polynomial_tree_to_atomic_polynomial(TL,A),
polynomial_tree_to_atomic_polynomial(TR,B), polynomial_tree_to_atomic_polynomial(TR,B),
@ -163,6 +166,7 @@ special_word_number(ninety, 90, fy).
special_word_number(hundred, 100, xfy). special_word_number(hundred, 100, xfy).
special_word_number(thousand, 1000, xfy). special_word_number(thousand, 1000, xfy).
special_word_number(million, 1000000, xfy). special_word_number(million, 1000000, xfy).
special_word_number(IC, IC, _) :- number(IC).
%% nlp_number(?W:Atom, ?D:Int) is det %% nlp_number(?W:Atom, ?D:Int) is det
% %
@ -273,7 +277,7 @@ parse_polynomial_operand(T) --> parse_stored_variable(T).
:- dynamic polynomial_store/2. :- dynamic polynomial_store/2.
parse_stored_variable(P) --> %% NOTE Not sure if it's better to load now or later parse_stored_variable(P) --> %% NOTE Not sure if it's better to load now or later
[P], [load(P)],
{ polynomial_store(P, _) }. { polynomial_store(P, _) }.
parse_polynomial_variable(B) --> parse_polynomial_variable(B) -->
@ -396,7 +400,6 @@ nlp_print_memory([nm(X,Y)|T]) :-
nlp_print_memory(T). nlp_print_memory(T).
nlp_print_memory([]). nlp_print_memory([]).
/******************************* /*******************************
* UI * * UI *
*******************************/ *******************************/