prolog - Sum from backtrackable predicates or facts -

-

I am trying to add different values ​​at once, suppose I have this: 

 Facts (fruits, apples, 10) facts (fruits, pears, 20) facts (vegetable, tomatoes, 15)   
 Now, my The problem is that if I want to add weight to all fruits, what have I done so far:  
  printwhite (types): - facts (type, _, r), (type = 'fruit '-> right; wrong), * Here I want to weigh all the fruits Got to add, type = Fruit *   
 No idea about anyone how to solve it?   
 
 
 See the documentation for your ProLal implementation for built-in bill  bagof / 3  and A more or less standard library means that a list (available in SWI-Prolog, is available as  sumlist / 2 ):  
 ? - bagf (w, name ^ facts (fruit, name, w), ws), index (ws, yoga). Ws = [10, 20], yoga = 30.? - bagf (w, name ^ facts (meat, name, w), ws), index (ws, bm). false.   
 The second query fails, because there is no meat product in your database, you can either leave it (you may want to know that there are no specific types of products ) Or use  findall / 3 :  
 ? - Finder (W. Facts (meat, _, W), WS), Index (WS, Yoga). If you use SWI-Prolog, then  library (total) :  
   code>? - Total (zodiac (w), name ^ facts (fruit, name, w), w_sume). W_sum = 30.   
 You can use  aggregate_all / 3  as the  findall / 3  for behavior:  
 ? - Total (zodiac (w), name ^ facts (meat, name, w), w_ueum) False. ? - Total-sum (zodiac (w), name ^ fact (meat, name, w), w_ueum) W_sum = 0.   
 If you type in  index / 2  If you do not want to use (or you do not have permission), then you add two numbers (integer or floats):  
  yoga A + B  < / Pre> 
 So you have to figure out how to "fold" the list.  
  Edit:   
 For example, using  findall /  predicate   type_totalweight (Type, _, W., WS), Index (WS, Weight): 3 :  
  Type_toolweight (type, weight )

Comments

Post a Comment

Popular posts from this blog

java - ImportError: No module named py4j.java_gateway -

-
I'm trying to call the Python using the Java program py4j . I've been installing the plug-in Eclipse and test name Piidvi project. I'm trying to execute the following part of the code found on py4j webpage: Import from py4j.java_gateway to JavaGateway, java_import gateway = JavaGateway () jvm = gateway.jvm java_import (jvm, '' Org.eclipse Kkorkrisorsej. * ") Vrkspes_rut = Jvankresourkesplginkgetvrkspas (). GetRoot (Gateway .help (workspace_root, '* Projects *') project_names = [project.getName () (for projects workpace_root.getProjects))] print (Projekt_nam) But I There is an error in import. I have checked that the P4JJ is present in the Jar Eclipse plugin directory. Can anyone help please? I had to install the py4j application
Read more

python - Receiving "KeyError" after decoding json result from url -

-
I am new to Python I am trying to parse JSON result from a URL. Basically, I was using the following: response = urllib.request.urlopen (url) json_obj = json.load (response) It should be a stroke "str 'not' bytes' in the lines of a given" JSON object, so after searching on the StackoverView Flo, I decode the response in this way: F = urllib.request.urlopen (Url) charset = f.info (). Get_param ('charset', 'utf8') data = f.read () decoded = json.loads (data.decode (charset)) If I print "decode" I is as follows: { 'link': { 'summary data': 'https: // localhost / piwebapi / streams / p0_7qHaW4UHU-RlCaz8tpasAAQAAAAU0hJTExNQU42NDIwXFNJTlVTT0lE / summary' 'value': 'https: // localhost / Piwebapi / streams / P0_7qHaW4UHU-RlCaz8tpasAAQAAAAU0hJTExNQU42NDIwXFNJTlVTT0lE / price ',' InterpolatedData ':' https: // localhost / Piwebapi / streams / P0_7qHaW4UHU-RlCaz8tpasAAQAAAAU0hJTE...
Read more

.net - Creating a new Queue Manager and Queue in Websphere MQ (using C#) -

-
"itemprop =" text "> I am writing applications that use WebSphere MQ to send messages. My unittests (for flow), I want to verify that I have put the correct message on the response queue. I am trying to figure out how to do this. My main obstacle is that I think it might be scary to clear the queue before running in my queue because the same queue can be used by other applications, I thought a decent solution would be a new line The manager will remove the queue for my solidarity and after using it. So my question is: Is it possible to use C # by using queue manager and queue? After the For future reference and future people, who want to make queues. I thought how to make and remove IBM MQ QE (not quenhers) with PCM messaging. It is not very simple, but it can be done. We have implemented it in a library and it is being used to create and delete commands before and after integration tests. The most important part of the code in this library is shown in the...
Read more