JCumin/Brachylog

Issues

• Make floats use CLP(FD)

  #26 opened 8 years ago by JCumin
  5

• Scoped variables

  #70 opened 3 years ago by anka-213
  5

• √İ throws an exception on false

  #69 opened 4 years ago by xash
  1

• Ordering doesn't work on a list of mixed integers/floats

  #58 opened 5 years ago by JCumin
  0

• Subscripts for h and t

  #43 opened 6 years ago by JCumin
  5

• Appending to empty list does some weird stuff

  #60 opened 6 years ago by UnrelatedString
  2

• SVG logo

  #59 opened 6 years ago by vihanb
  1

• Meta-predicates to map a predicate only over its input.

  #57 opened 7 years ago by m-ender
  1

• Mapping on call predicate

  #50 opened 7 years ago by JCumin
  1

• ∈ is stupid and needs to be fixed when using a subscript

  #56 opened 7 years ago by kckennylau
  1

• Use bagof instead of findall in meta_find

  #55 opened 7 years ago by JCumin
  1

• Probabilistic primality test useful?

  #54 opened 7 years ago by triska
  4

• Concatenate and leading zeroes

  #38 opened 8 years ago by JCumin
  1

• Feature requests (constantly updating)

  #28 opened 8 years ago by kckennylau
  2

• ≠ - Different does not work on things that are not lists of ints or ints

  #53 opened 8 years ago by JCumin
  1

• Consider using all_distinct/1 instead of all_different/1

  #25 opened 8 years ago by triska
  4

• Suggestion for random labeling

  #51 opened 8 years ago by triska
  5

• Please add test cases to the distribution

  #19 opened 8 years ago by triska
  4

• Add implicit input and output only when necessary

  #49 opened 8 years ago by JCumin
  0

• Reimplement Transpose

  #48 opened 8 years ago by JCumin
  0

• Implement metapredicates for strings

  #47 opened 8 years ago by JCumin
  1

• Improve the behavior of order

  #46 opened 8 years ago by JCumin
  1

• Add subscripts for the Input

  #45 opened 8 years ago by JCumin
  2

• Remove implicit labelization in all predicates other than the main one

  #44 opened 8 years ago by JCumin
  1

• Move more of the implementation to Brachylog

  #17 opened 8 years ago by triska
  4

• N-chotomize is very slow

  #34 opened 8 years ago by kckennylau
  3

• Bugz!

  #40 opened 8 years ago by AndrewSav
  1

• Ignore empty lists in concatenate input

  #41 opened 8 years ago by JCumin
  1

• Generate Implicit variables after ∧ and ∨ when followed by a predicate

  #42 opened 8 years ago by JCumin
  1

• Xterminate for numbers

  #24 opened 8 years ago by JCumin
  0

• Backslash escapes quotation mark even when escaped.

  #32 opened 8 years ago by kckennylau
  3

• Enhance Group to allow Group By

  #36 opened 8 years ago by JCumin
  1

• Predicates inside lists

  #10 opened 8 years ago by JCumin
  0

• Infinite loop on `*` for completely free Input

  #29 opened 8 years ago by kckennylau
  3

• Can't put predicates with reversed arguments in lists

  #37 opened 8 years ago by JCumin
  2

• Implicit labeling not always working

  #39 opened 8 years ago by JCumin
  1

• Implicit labeling at the end of programs

  #35 opened 8 years ago by JCumin
  1

• Built-ins labeling

  #15 opened 8 years ago by JCumin
  1

• Concatenate and empty strings

  #27 opened 8 years ago by JCumin
  1

• Feature request: prove from the most obvious

  #33 opened 8 years ago by kckennylau
  2

• Feature request: view generated code

  #31 opened 8 years ago by kckennylau
  2

• vertical bar inside parentheses bugs

  #30 opened 8 years ago by kckennylau
  1

• Concatenate is full of bugs

  #21 opened 8 years ago by JCumin
  1

• X-terminate is full of bugs

  #22 opened 8 years ago by JCumin
  1

• Prime factorisation uses low level arithmetic

  #23 opened 8 years ago by JCumin
  4

• Main predicate not callable

  #20 opened 8 years ago by JCumin
  1

• Standard code styleguide

  #14 opened 8 years ago by JCumin
  1

• Backtracking on Write

  #11 opened 8 years ago by JCumin
  2

• Multiply on list of lists

  #12 opened 8 years ago by JCumin
  1

• Empty lists

  #13 opened 8 years ago by JCumin
  4