summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/dup_2
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/lists/dup_2')
-rw-r--r--prolog/problems/lists/dup_2/bugs.json537
1 files changed, 537 insertions, 0 deletions
diff --git a/prolog/problems/lists/dup_2/bugs.json b/prolog/problems/lists/dup_2/bugs.json
new file mode 100644
index 0000000..c62360a
--- /dev/null
+++ b/prolog/problems/lists/dup_2/bugs.json
@@ -0,0 +1,537 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"dup\") (args (args \"[]\")))))",
+ "(clause (binop \"=\" (list (h variable) (t (list (h variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"dup\") (args variable)))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\"))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t variable)))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable)) (args (list (t (list (t variable)))))))))",
+ "(clause (binop variable \"=\") (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t variable)))))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (t (list (h variable)))))))))",
+ "(clause (compound (functor \"conc\") (args variable (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args variable (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"dup\") (args (args (list (h variable) (t (list (h variable))))))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable) (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args variable (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable) (t variable))))",
+ "(clause (binop \"=\" variable))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"is\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop variable \"is\"))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (args (list (t (list (h variable))))))))",
+ "(clause (binop variable \"=\") (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (h variable) (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)) (args (list (h variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))))",
+ "(clause (binop variable \"=\") (binop \"=\" variable))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"is\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (t variable)))))))",
+ "(clause (compound (functor \"dup\") (args variable (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"dup\") (args variable)) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"concat\") (args (args (args variable)))))",
+ "(clause (binop \"is\" (list (h variable) (t variable))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop variable \"=\"))",
+ "(clause (binop variable \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable)))))) (compound (functor \"dup\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (binop \"|\" variable))))) (binop variable \"==\"))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args (args (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"dup1\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"dup1\") (args variable)))",
+ "(clause (binop variable \"is\") (binop \"is\" (list (h variable))))",
+ "(clause (compound (functor \"dup\") (args (list (h variable) (t (list (h variable)))))))",
+ "(clause (compound (functor \"dup1\") (args variable (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dum\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"dup1\") (args (list (t variable))))) (compound (functor \"dup1\") (args variable)))",
+ "(clause (head (compound (functor \"dup1\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"is\" (list (t variable))))",
+ "(clause (compound (functor \"dup1\") (args (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args (args (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"dup1\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"insert\") (args variable)))",
+ "(clause (compound (functor \"dup\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (h variable)))))))) (compound (functor \"dup\") (args (args (list (h variable))))))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 83,
+ 0
+ ],
+ "quality": 0.9793745051956579
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 69,
+ 0
+ ],
+ "quality": 0.9745611611669687
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 52,
+ 0
+ ],
+ "quality": 0.965011287140588
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 2,
+ 104
+ ],
+ "quality": 0.9512545556592722
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"=\" (list (t (list (t variable))))))"
+ ],
+ "distribution": [
+ 31,
+ 0
+ ],
+ "quality": 0.9365430966407702
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 30,
+ 0
+ ],
+ "quality": 0.9342281690211035
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t variable)))))))"
+ ],
+ "distribution": [
+ 25,
+ 0
+ ],
+ "quality": 0.9187546835926848
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))"
+ ],
+ "distribution": [
+ 2,
+ 53
+ ],
+ "quality": 0.9074868141619565
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable)) (args (list (t (list (t variable)))))))))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.9049826183187104
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args variable (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8957228443022562
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"dup\") (args variable)))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8957228443022562
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8957228443022562
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.880106470153706
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.880106470153706
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args variable (args variable))))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8712586113449907
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8712586113449907
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8628302434186279
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8628302434186279
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args \"[]\"))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))"
+ ],
+ "distribution": [
+ 6,
+ 60
+ ],
+ "quality": 0.8581378927996048
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.851718483494776
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))"
+ ],
+ "distribution": [
+ 16,
+ 116
+ ],
+ "quality": 0.8504056912099205
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))) (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 14,
+ 0
+ ],
+ "quality": 0.8385349971208302
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))"
+ ],
+ "distribution": [
+ 20,
+ 117
+ ],
+ "quality": 0.8258965557064576
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args variable)))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.8255156458958964
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.8255156458958964
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable) (t variable))))"
+ ],
+ "distribution": [
+ 12,
+ 0
+ ],
+ "quality": 0.8080943376484535
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args variable)))))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7870660531987647
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"dup\") (args variable)))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7870660531987647
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args variable))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 10,
+ 0
+ ],
+ "quality": 0.7764400337069141
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 13,
+ 53
+ ],
+ "quality": 0.7345604560948691
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (binop \"=\" (list (h variable) (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 12,
+ 50
+ ],
+ "quality": 0.7336334876105481
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))"
+ ],
+ "distribution": [
+ 65,
+ 175
+ ],
+ "quality": 0.7157343899492171
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (binop \"=\" (list (h variable) (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 25,
+ 74
+ ],
+ "quality": 0.7065553916027705
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 28,
+ 56
+ ],
+ "quality": 0.6107009286023725
+ }
+ ]
+} \ No newline at end of file