up cnp example

jason-lang · Oct 7, 2024 · eb9e6bc · eb9e6bc
1 parent 1e20c56
commit eb9e6bc
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 13 deletions.
diff --git a/examples/contract-net-protocol-er/c.asl b/examples/contract-net-protocol-er/c.asl
@@ -1,9 +1,3 @@
-/* Initial beliefs and rules */
-
-all_proposals_received(CNPId, NP)                // NP: number of participants
-  :- .count(propose(CNPId,_)[source(_)], NO) &   // NO: number of proposes received
-     .count(refuse(CNPId)[source(_)], NR) &      // NR: number of refusals received
-     NP = NO + NR.
 
 /* Initial goals */
 
@@ -45,3 +39,10 @@ all_proposals_received(CNPId, NP)                // NP: number of participants
              }
           }.
     }
+
+/* Initial beliefs and rules */
+
+all_proposals_received(CNPId, NP)                // NP: number of participants
+  :- .count(propose(CNPId,_)[source(_)], NO) &   // NO: number of proposes received
+     .count(refuse(CNPId)[source(_)], NR) &      // NR: number of refusals received
+     NP = NO + NR.
diff --git a/examples/contract-net-protocol-er/c_alt.asl b/examples/contract-net-protocol-er/c_alt.asl
@@ -1,12 +1,5 @@
 // alternative implementation without .wait(<condition>), see plan for !bid
 
-/* Initial beliefs and rules */
-
-all_proposals_received(CNPId, NP)                // NP: number of participants
-  :- .count(propose(CNPId,_)[source(_)], NO) &   // NO: number of proposes received
-     .count(refuse(CNPId)[source(_)], NR) &      // NR: number of refusals received
-     NP = NO + NR.
-
 /* Initial goals */
 
 !run.
@@ -54,3 +47,10 @@ all_proposals_received(CNPId, NP)                // NP: number of participants
              .send(Ag,tell,reject_proposal(Id));
           }.
 }
+
+/* Initial beliefs and rules */
+
+all_proposals_received(CNPId, NP)                // NP: number of participants
+  :- .count(propose(CNPId,_)[source(_)], NO) &   // NO: number of proposes received
+     .count(refuse(CNPId)[source(_)], NR) &      // NR: number of refusals received
+     NP = NO + NR.