Удалить одиночные кавычки в прологе (HTML - Пролог) - PullRequest
Новая
       8

Удалить одиночные кавычки в прологе (HTML - Пролог)

0 голосов
/ 07 декабря 2018

Здравствуйте, у меня проблема в моем проекте!

У нас есть база знаний в прологе, и мы должны создать веб-приложение для добавления, редактирования или удаления правил из КБ.Моя проблема заключается в том, когда я добавляю правило (используя html) в КБ, используя этот код: 

addRule(_Request):-
    format('Content-type: text/html~n~n'),
    print_html([
        '<html>
            <head>
                <link rel="stylesheet" type="text/css" href="/materialize/css/materialize.css">
                <script src="/materialize/js/materialize.js"></script>
                <title>Rules</title>
            </head>
            <body>
                    <h4>Εισαγωγή κανόνα</h4>
                    <form action="/addition" method="POST">
                        Δώσε τα δεδομένα :  
                        <div class="input-field inline">
                            <input type="text" name="newRuleData" class="validate">
                        </div>
                        Δώσε τις προυποθέσεις :  
                        <div class="input-field inline">
                            <input type="text" name="newRuleCon" class="validate">
                        </div>
                        Δώσε το αποτέλεσμα :   
                        <div class="input-field inline">
                            <input type="text" name="newRuleResult" class="validate">
                        </div>

                        <button class="black-text btn waves-effect waves-light green" type="submit" name="action">ADD</button>

                        <br><br><br>
                    </form> 
            </body>
        </html>'                  
    ]).

Когда я нажимаю кнопку ДОБАВИТЬ, происходит следующее: 

addition(Request):-
    http_parameters(Request,[
            newRuleData(RuleData,[default('NULL')]),
            newRuleCon(RuleCon,[default('NULL')]),
            newRuleResult(RuleResult,[default('NULL')])
    ]),
    %προσθήκη max_ruleId 
    max_ruleId(MaxID),
    NewMaxID is MaxID+1,
    atom_concat(rid,NewMaxID,NewRuleId),
    retract( max_ruleId(MaxID) ),
    asserta( max_ruleId(NewMaxID) ),

    %προσθήκη στα Rules
    rules(List),
    append(List,[NewRuleId],NewList),
    retract(rules(List)),
    asserta(rules(NewList)),
    assertz((rule(NewRuleId,RuleData,Answer):- RuleCon,Answer=RuleResult)),
    saveRules.

После того, как я иду вКБ и я вижу это: 

rule(rid15, '[LabValues,Saturation,Nitrate,Oligochaetes,Sediments,Hydrothio,Methanio,Substrates,SmellWater]', A) :-
'LabValues = nai, atom_number(Saturation,Sat), Sat>100',
A='Evales poli megalo koresmo'.

Правило должно выглядеть так: 

rule(rid15, [LabValues,Saturation,Nitrate,Oligochaetes,Sediments,Hydrothio,Methanio,Substrates,SmellWater], A) :-
LabValues = nai, atom_number(Saturation,Sat), Sat>100,
A='Evales poli megalo koresmo'.

Я хочу удалить кавычки, но не могу.

РЕДАКТИРОВАТЬ

В настоящее время используется term_to_atom / 2 , чтобы удалить кавычки, но это дает мне это в моей KB 

rule(rid21, [_, _, _, _, _, _, _, _, _], B) :-
     true, 
     atom_number(_, A), 
     A>100, 
     B='Evales poli megalo koresmo'.

1 Ответ

0 голосов
/ 07 декабря 2018

Наконец-то я нашел решение !!!

%We take the request from Form

addition(Request):-
member(method(post),Request),!,
http_parameters(Request,
[
    newRuleData(RuleData,[length>0, string]),
    newRuleCon(RuleCon,[length>0, string]),
    newRuleResult(RuleResult,[length>0, string])
]),
addNewRule(RuleData,"Answer",RuleCon,RuleResult),
format('Content-type: text/html~n~n'),
print_html([
    '<html>
        <head>
            <link rel="stylesheet" type="text/css" href="/materialize/css/materialize.css">
            <script src="/materialize/js/materialize.js"></script>
            <link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet">
            <title>Επιτυχία</title>
        </head>
        <body>
            <div class="navbar-fixed">
                <nav>
                    <div class="nav-wrapper teal lighten-2">
                        <a href="#!" class="brand-logo center">WebApp της εργασίας 2</a>
                    </div>
                </nav>
            </div>
            <div class="container center">
                <h4>Η εισαγωγή του κανόνα πέτυχε.</h4> 
                <br><br>
                <a class="waves-effect waves-light btn-small" href="http://localhost:8000/update"><i class="material-icons left" >arrow_back</i>Back</a>
                <a class="waves-effect waves-light btn-small" href="http://localhost:8000"><i class="material-icons left" >home</i>Home</a> 
                <br><br><br>
                <h3>Μάνος Κουτουλάκης 4002</h3>
            </div>
        </body>
    </html>'                   
]).

Когда я взял данные со своей страницы, я использовал addNewRule, и здесь мы выполняем процессы.max_ruleId/1 и rules/1, поступающие из моего КБ, первое содержит сумму правил, а другое - list со всеми идентификаторами внутри. 

addNewRule(RuleData,RuleResultVariableName,RuleCon,RuleResult):-
   %προσθήκη max_ruleId 
   max_ruleId(MaxID),
   NewMaxID is MaxID+1,
   atom_concat(rid,NewMaxID,NewRuleId),
   retract( max_ruleId(MaxID) ),
   asserta( max_ruleId(NewMaxID) ),

   %προσθήκη στα Rules
   rules(List),
   append(List,[NewRuleId],NewList),
   retract(rules(List)),
   asserta(rules(NewList)),
   atom_string(NewRuleId, SRuleId),
   string_list_concat(
      [
        "rule(", SRuleId, ",", RuleData, ",", RuleResultVariableName, 
        "):-",
        RuleCon, ",", RuleResultVariableName, "='", RuleResult, "'"
      ],
      StringRule
  ),
  term_string(Rule, StringRule),
  assertz(Rule),
  saveRules.

Предикат для конкатенацииСтрока: 

string_list_concat([], S):- 
  S = "".
string_list_concat([H], S):- !, 
  string(H), 
  S = H.
string_list_concat([H|T], S):- 
  string_list_concat([H|T], "", S).
string_list_concat([H|T], Acc, S):- 
  string(H),
  string_concat(Acc, H, Acc1),
  string_list_concat(T, Acc1, S).
string_list_concat([], Acc, S):- 
  S = Acc.

По сути, я беру входные данные из HTML (используя http_parametres / 2 ), объединяю все входы в один список строк, используя string_list_concat иВ конце концов, чтобы утвердить правило в своей КБ, я использую term_string / 2 , чтобы преобразовать строку в термин, и цитаты исчезли.может быть, мой вопрос должен был быть другим.

...