eyelang 1.3.9 → 1.4.0

package/examples/output/service-impact.pl

@@ -1,468 +1,11 @@
 impactedByFailureOf(checkout_api, payment_service).
-why(
-  impactedByFailureOf(checkout_api, payment_service),
-  proof(
-    goal(impactedByFailureOf(checkout_api, payment_service)),
-    by(rule("service-impact.pl", clause(24))),
-    bindings([binding("Service", checkout_api), binding("Failed", payment_service)]),
-    uses([
-      proof(
-        goal(failed(payment_service)),
-        by(fact("service-impact.pl", clause(18)))
-      ),
-      proof(
-        goal(impacted(checkout_api, payment_service)),
-        by(rule("service-impact.pl", clause(19))),
-        bindings([binding("Service", checkout_api), binding("Failed", payment_service)]),
-        uses([
-          proof(
-            goal(depends_on(checkout_api, payment_service)),
-            by(fact("service-impact.pl", clause(6)))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 impactedByFailureOf(risk_rules, payment_service).
-why(
-  impactedByFailureOf(risk_rules, payment_service),
-  proof(
-    goal(impactedByFailureOf(risk_rules, payment_service)),
-    by(rule("service-impact.pl", clause(24))),
-    bindings([binding("Service", risk_rules), binding("Failed", payment_service)]),
-    uses([
-      proof(
-        goal(failed(payment_service)),
-        by(fact("service-impact.pl", clause(18)))
-      ),
-      proof(
-        goal(impacted(risk_rules, payment_service)),
-        by(rule("service-impact.pl", clause(19))),
-        bindings([binding("Service", risk_rules), binding("Failed", payment_service)]),
-        uses([
-          proof(
-            goal(depends_on(risk_rules, payment_service)),
-            by(fact("service-impact.pl", clause(10)))
-          )
-        ])
-      )
-    ])
-  )
-).
-
 impactedByFailureOf(web_store, payment_service).
-why(
-  impactedByFailureOf(web_store, payment_service),
-  proof(
-    goal(impactedByFailureOf(web_store, payment_service)),
-    by(rule("service-impact.pl", clause(24))),
-    bindings([binding("Service", web_store), binding("Failed", payment_service)]),
-    uses([
-      proof(
-        goal(failed(payment_service)),
-        by(fact("service-impact.pl", clause(18)))
-      ),
-      proof(
-        goal(impacted(web_store, payment_service)),
-        by(rule("service-impact.pl", clause(20))),
-        bindings([binding("Service", web_store), binding("Failed", payment_service), binding("Dependency", checkout_api)]),
-        uses([
-          proof(
-            goal(depends_on(web_store, checkout_api)),
-            by(fact("service-impact.pl", clause(4)))
-          ),
-          proof(
-            goal(impacted(checkout_api, payment_service)),
-            by(rule("service-impact.pl", clause(19))),
-            bindings([binding("Service", checkout_api), binding("Failed", payment_service)]),
-            uses([
-              proof(
-                goal(depends_on(checkout_api, payment_service)),
-                by(fact("service-impact.pl", clause(6)))
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-
 impactedByFailureOf(mobile_app, payment_service).
-why(
-  impactedByFailureOf(mobile_app, payment_service),
-  proof(
-    goal(impactedByFailureOf(mobile_app, payment_service)),
-    by(rule("service-impact.pl", clause(24))),
-    bindings([binding("Service", mobile_app), binding("Failed", payment_service)]),
-    uses([
-      proof(
-        goal(failed(payment_service)),
-        by(fact("service-impact.pl", clause(18)))
-      ),
-      proof(
-        goal(impacted(mobile_app, payment_service)),
-        by(rule("service-impact.pl", clause(20))),
-        bindings([binding("Service", mobile_app), binding("Failed", payment_service), binding("Dependency", checkout_api)]),
-        uses([
-          proof(
-            goal(depends_on(mobile_app, checkout_api)),
-            by(fact("service-impact.pl", clause(5)))
-          ),
-          proof(
-            goal(impacted(checkout_api, payment_service)),
-            by(rule("service-impact.pl", clause(19))),
-            bindings([binding("Service", checkout_api), binding("Failed", payment_service)]),
-            uses([
-              proof(
-                goal(depends_on(checkout_api, payment_service)),
-                by(fact("service-impact.pl", clause(6)))
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-
 impactedByFailureOf(payment_service, payment_service).
-why(
-  impactedByFailureOf(payment_service, payment_service),
-  proof(
-    goal(impactedByFailureOf(payment_service, payment_service)),
-    by(rule("service-impact.pl", clause(24))),
-    bindings([binding("Service", payment_service), binding("Failed", payment_service)]),
-    uses([
-      proof(
-        goal(failed(payment_service)),
-        by(fact("service-impact.pl", clause(18)))
-      ),
-      proof(
-        goal(impacted(payment_service, payment_service)),
-        by(rule("service-impact.pl", clause(20))),
-        bindings([binding("Service", payment_service), binding("Failed", payment_service), binding("Dependency", fraud_service)]),
-        uses([
-          proof(
-            goal(depends_on(payment_service, fraud_service)),
-            by(fact("service-impact.pl", clause(8)))
-          ),
-          proof(
-            goal(impacted(fraud_service, payment_service)),
-            by(rule("service-impact.pl", clause(20))),
-            bindings([binding("Service", fraud_service), binding("Failed", payment_service), binding("Dependency", risk_rules)]),
-            uses([
-              proof(
-                goal(depends_on(fraud_service, risk_rules)),
-                by(fact("service-impact.pl", clause(9)))
-              ),
-              proof(
-                goal(impacted(risk_rules, payment_service)),
-                by(rule("service-impact.pl", clause(19))),
-                bindings([binding("Service", risk_rules), binding("Failed", payment_service)]),
-                uses([
-                  proof(
-                    goal(depends_on(risk_rules, payment_service)),
-                    by(fact("service-impact.pl", clause(10)))
-                  )
-                ])
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-
 impactedByFailureOf(fraud_service, payment_service).
-why(
-  impactedByFailureOf(fraud_service, payment_service),
-  proof(
-    goal(impactedByFailureOf(fraud_service, payment_service)),
-    by(rule("service-impact.pl", clause(24))),
-    bindings([binding("Service", fraud_service), binding("Failed", payment_service)]),
-    uses([
-      proof(
-        goal(failed(payment_service)),
-        by(fact("service-impact.pl", clause(18)))
-      ),
-      proof(
-        goal(impacted(fraud_service, payment_service)),
-        by(rule("service-impact.pl", clause(20))),
-        bindings([binding("Service", fraud_service), binding("Failed", payment_service), binding("Dependency", risk_rules)]),
-        uses([
-          proof(
-            goal(depends_on(fraud_service, risk_rules)),
-            by(fact("service-impact.pl", clause(9)))
-          ),
-          proof(
-            goal(impacted(risk_rules, payment_service)),
-            by(rule("service-impact.pl", clause(19))),
-            bindings([binding("Service", risk_rules), binding("Failed", payment_service)]),
-            uses([
-              proof(
-                goal(depends_on(risk_rules, payment_service)),
-                by(fact("service-impact.pl", clause(10)))
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-
 status(payment_service, failed).
-why(
-  status(payment_service, failed),
-  proof(
-    goal(status(payment_service, failed)),
-    by(rule("service-impact.pl", clause(25))),
-    bindings([binding("Service", payment_service)]),
-    uses([
-      proof(
-        goal(failed(payment_service)),
-        by(fact("service-impact.pl", clause(18)))
-      )
-    ])
-  )
-).
-
 businessFunctionAtRisk(place_order, true).
-why(
-  businessFunctionAtRisk(place_order, true),
-  proof(
-    goal(businessFunctionAtRisk(place_order, true)),
-    by(rule("service-impact.pl", clause(26))),
-    bindings([binding("Function", place_order)]),
-    uses([
-      proof(
-        goal(affected_function(place_order)),
-        by(rule("service-impact.pl", clause(23))),
-        bindings([binding("Function", place_order), binding("Service", web_store)]),
-        uses([
-          proof(
-            goal(business_function(place_order, web_store)),
-            by(fact("service-impact.pl", clause(13)))
-          ),
-          proof(
-            goal(affected(web_store)),
-            by(rule("service-impact.pl", clause(21))),
-            bindings([binding("Service", web_store), binding("Failed", payment_service)]),
-            uses([
-              proof(
-                goal(failed(payment_service)),
-                by(fact("service-impact.pl", clause(18)))
-              ),
-              proof(
-                goal(impacted(web_store, payment_service)),
-                by(rule("service-impact.pl", clause(20))),
-                bindings([binding("Service", web_store), binding("Failed", payment_service), binding("Dependency", checkout_api)]),
-                uses([
-                  proof(
-                    goal(depends_on(web_store, checkout_api)),
-                    by(fact("service-impact.pl", clause(4)))
-                  ),
-                  proof(
-                    goal(impacted(checkout_api, payment_service)),
-                    by(rule("service-impact.pl", clause(19))),
-                    bindings([binding("Service", checkout_api), binding("Failed", payment_service)]),
-                    uses([
-                      proof(
-                        goal(depends_on(checkout_api, payment_service)),
-                        by(fact("service-impact.pl", clause(6)))
-                      )
-                    ])
-                  )
-                ])
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-
 businessFunctionAtRisk(mobile_checkout, true).
-why(
-  businessFunctionAtRisk(mobile_checkout, true),
-  proof(
-    goal(businessFunctionAtRisk(mobile_checkout, true)),
-    by(rule("service-impact.pl", clause(26))),
-    bindings([binding("Function", mobile_checkout)]),
-    uses([
-      proof(
-        goal(affected_function(mobile_checkout)),
-        by(rule("service-impact.pl", clause(23))),
-        bindings([binding("Function", mobile_checkout), binding("Service", mobile_app)]),
-        uses([
-          proof(
-            goal(business_function(mobile_checkout, mobile_app)),
-            by(fact("service-impact.pl", clause(14)))
-          ),
-          proof(
-            goal(affected(mobile_app)),
-            by(rule("service-impact.pl", clause(21))),
-            bindings([binding("Service", mobile_app), binding("Failed", payment_service)]),
-            uses([
-              proof(
-                goal(failed(payment_service)),
-                by(fact("service-impact.pl", clause(18)))
-              ),
-              proof(
-                goal(impacted(mobile_app, payment_service)),
-                by(rule("service-impact.pl", clause(20))),
-                bindings([binding("Service", mobile_app), binding("Failed", payment_service), binding("Dependency", checkout_api)]),
-                uses([
-                  proof(
-                    goal(depends_on(mobile_app, checkout_api)),
-                    by(fact("service-impact.pl", clause(5)))
-                  ),
-                  proof(
-                    goal(impacted(checkout_api, payment_service)),
-                    by(rule("service-impact.pl", clause(19))),
-                    bindings([binding("Service", checkout_api), binding("Failed", payment_service)]),
-                    uses([
-                      proof(
-                        goal(depends_on(checkout_api, payment_service)),
-                        by(fact("service-impact.pl", clause(6)))
-                      )
-                    ])
-                  )
-                ])
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-
 businessFunctionAtRisk(collect_payment, true).
-why(
-  businessFunctionAtRisk(collect_payment, true),
-  proof(
-    goal(businessFunctionAtRisk(collect_payment, true)),
-    by(rule("service-impact.pl", clause(26))),
-    bindings([binding("Function", collect_payment)]),
-    uses([
-      proof(
-        goal(affected_function(collect_payment)),
-        by(rule("service-impact.pl", clause(23))),
-        bindings([binding("Function", collect_payment), binding("Service", payment_service)]),
-        uses([
-          proof(
-            goal(business_function(collect_payment, payment_service)),
-            by(fact("service-impact.pl", clause(15)))
-          ),
-          proof(
-            goal(affected(payment_service)),
-            by(rule("service-impact.pl", clause(21))),
-            bindings([binding("Service", payment_service), binding("Failed", payment_service)]),
-            uses([
-              proof(
-                goal(failed(payment_service)),
-                by(fact("service-impact.pl", clause(18)))
-              ),
-              proof(
-                goal(impacted(payment_service, payment_service)),
-                by(rule("service-impact.pl", clause(20))),
-                bindings([binding("Service", payment_service), binding("Failed", payment_service), binding("Dependency", fraud_service)]),
-                uses([
-                  proof(
-                    goal(depends_on(payment_service, fraud_service)),
-                    by(fact("service-impact.pl", clause(8)))
-                  ),
-                  proof(
-                    goal(impacted(fraud_service, payment_service)),
-                    by(rule("service-impact.pl", clause(20))),
-                    bindings([binding("Service", fraud_service), binding("Failed", payment_service), binding("Dependency", risk_rules)]),
-                    uses([
-                      proof(
-                        goal(depends_on(fraud_service, risk_rules)),
-                        by(fact("service-impact.pl", clause(9)))
-                      ),
-                      proof(
-                        goal(impacted(risk_rules, payment_service)),
-                        by(rule("service-impact.pl", clause(19))),
-                        bindings([binding("Service", risk_rules), binding("Failed", payment_service)]),
-                        uses([
-                          proof(
-                            goal(depends_on(risk_rules, payment_service)),
-                            by(fact("service-impact.pl", clause(10)))
-                          )
-                        ])
-                      )
-                    ])
-                  )
-                ])
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-
 businessFunctionAtRisk(screen_fraud, true).
-why(
-  businessFunctionAtRisk(screen_fraud, true),
-  proof(
-    goal(businessFunctionAtRisk(screen_fraud, true)),
-    by(rule("service-impact.pl", clause(26))),
-    bindings([binding("Function", screen_fraud)]),
-    uses([
-      proof(
-        goal(affected_function(screen_fraud)),
-        by(rule("service-impact.pl", clause(23))),
-        bindings([binding("Function", screen_fraud), binding("Service", fraud_service)]),
-        uses([
-          proof(
-            goal(business_function(screen_fraud, fraud_service)),
-            by(fact("service-impact.pl", clause(16)))
-          ),
-          proof(
-            goal(affected(fraud_service)),
-            by(rule("service-impact.pl", clause(21))),
-            bindings([binding("Service", fraud_service), binding("Failed", payment_service)]),
-            uses([
-              proof(
-                goal(failed(payment_service)),
-                by(fact("service-impact.pl", clause(18)))
-              ),
-              proof(
-                goal(impacted(fraud_service, payment_service)),
-                by(rule("service-impact.pl", clause(20))),
-                bindings([binding("Service", fraud_service), binding("Failed", payment_service), binding("Dependency", risk_rules)]),
-                uses([
-                  proof(
-                    goal(depends_on(fraud_service, risk_rules)),
-                    by(fact("service-impact.pl", clause(9)))
-                  ),
-                  proof(
-                    goal(impacted(risk_rules, payment_service)),
-                    by(rule("service-impact.pl", clause(19))),
-                    bindings([binding("Service", risk_rules), binding("Failed", payment_service)]),
-                    uses([
-                      proof(
-                        goal(depends_on(risk_rules, payment_service)),
-                        by(fact("service-impact.pl", clause(10)))
-                      )
-                    ])
-                  )
-                ])
-              )
-            ])
-          )
-        ])
-      )
-    ])
-  )
-).
-

package/examples/output/sieve.pl

@@ -1,20 +1 @@
 primes(1000, [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997]).
-why(
-  primes(1000, [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997]),
-  proof(
-    goal(primes(1000, [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997])),
-    by(rule("sieve.pl", clause(4))),
-    bindings([binding("Limit", 1000), binding("Ps", [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997])]),
-    uses([
-      proof(
-        goal(want_primes(1000)),
-        by(fact("sieve.pl", clause(2)))
-      ),
-      proof(
-        goal(findall(P, prime_under(1000, P), [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997])),
-        by(builtin(findall, 3))
-      )
-    ])
-  )
-).
-