ciao-lang/ciao

Issues

• subsumes_term/2 incorrect

  #84 opened 2 years ago by UWN
  2

• Ciao 1.24.0 errors when loading the `iso_strict` package

  #99 opened a month ago by pmoura
  3

• Ciao 1.24.0 WARNING: predicate user:clause/2 from user(...) is being redefined

  #100 opened a month ago by pmoura
  6

• findnsols/4 what is it supposed to do?

  #101 opened 2 months ago by Jean-Luc-Picard-2021
  2

• functor/3 incorrectly fails &ct

  #90 opened 2 months ago by UWN
  11

• (playground) Aborts cause state loss.

  #98 opened 3 months ago by jfmc
  0

• (playground) pause/1 doesn't give browser time to do something

  #66 opened 2 years ago by Jean-Luc-Picard-2021
  1

• Compatibility issue evaluable function (^)/2 missing

  #72 opened 2 years ago by Jean-Luc-Picard-2021
  0

• Feature request predicate divmod/4

  #71 opened 2 years ago by Jean-Luc-Picard-2021
  3

• Clarification request: does Ciao Prolog have a foreach/2 somewhere?

  #69 opened 2 years ago by Jean-Luc-Picard-2021
  0

• call_nth/2 (was: (playground) is there a Ciao Prolog equivalent of call_nth/2 ?)

  #67 opened 2 years ago by Jean-Luc-Picard-2021
  3

• (playground) read/1 gives end_of_file

  #58 opened 2 years ago by Jean-Luc-Picard-2021
  3

• (playground) Can I run Logtalk from within the new Ciao Prolog Playground?

  #64 opened 2 years ago by Jean-Luc-Picard-2021
  2

• (playground) Aborts cause state loss.

  #56 opened 3 months ago by Jean-Luc-Picard-2021
  4

• Some top-level goodies maybe?

  #54 opened 2 years ago by Jean-Luc-Picard-2021
  4

• uncaught memory overflow in ciaowasm (was Cannot distinguish error from failure")

  #52 opened 2 years ago by Jean-Luc-Picard-2021
  2

• Cannot reexport module from package?

  #97 opened 3 months ago by aherranz
  3

• Profilercc is not compatible with profiler mode of the core engine

  #95 opened 3 months ago by amato-gianluca
  5

• Calling Ciao Prolog from Elixir

  #96 opened 3 months ago by aherranz
  4

• Rounding glitch from bigint to float

  #77 opened 2 years ago by Jean-Luc-Picard-2021
  1

• Feature request random/3 that works with bigint

  #76 opened 2 years ago by Jean-Luc-Picard-2021
  0

• Problem regarding documentation of tests with multiple solutions

  #94 opened 8 months ago by David-Gimenez-Hernandez
  0

• Symbol’s function definition is void: batch-update-autoloads

  #86 opened 10 months ago by thierrymarianne
  2

• Termux install dependency missing in doc

  #82 opened 10 months ago by hansderhase
  1

• (playground) Error when checking assertions

  #57 opened 10 months ago by igcontreras
  2

• Ciao will not compile on GUIX

  #79 opened 10 months ago by PeterPandaluki
  5

• more ISO compatibility issues

  #48 opened 3 years ago by jfmc
  3

• Read- and Write-Option variable_names/1 and Error Handling in Options

  #91 opened a year ago by jfmc
  0

• feature request time/1 in WASM

  #51 opened a year ago by Jean-Luc-Picard-2021
  8

• Feature request library(aggregate) from SICStus Prolog

  #59 opened 2 years ago by Jean-Luc-Picard-2021
  12

• Glitch in Syntax Highlighter of Ciao Prolog Playground

  #70 opened a year ago by Jean-Luc-Picard-2021
  1

• Evaluable function pi/0 missing

  #78 opened a year ago by Jean-Luc-Picard-2021
  2

• `./ciao-boot.sh global-install` fails when copying files

  #85 opened a year ago by jpellegrini
  4

• Built-in predicate request: function_property/2

  #83 opened 2 years ago by pmoura
  2

• profiling not compiling

  #73 opened 2 years ago by ciaoyciao
  3

• Failed installation: now/1 is not exported by system

  #74 opened 2 years ago by Kolaer
  4

• Missing or wrong rounding in (**)/2

  #75 opened 2 years ago by Jean-Luc-Picard-2021
  4

• redefine lists.pl (or other modules used in the compiler)

  #68 opened 2 years ago by jfmc
  0

• revisit lists.pl (was (playground) Feature request subtract/3, list_to_set/2, etc..)

  #60 opened 2 years ago by Jean-Luc-Picard-2021
  30

• revisit lists.pl (and other common Prolog modules)

  #65 opened 2 years ago by jfmc
  0

• order in predicate visibility rules

  #63 opened 2 years ago by jfmc
  10

• (playground) use module import of overridden predicate

  #61 opened 2 years ago by Jean-Luc-Picard-2021
  4

• fix or explain clpr/clpq doc warnings

  #62 opened 2 years ago by jfmc
  0

• github action to compile in Apple M1

  #55 opened 2 years ago by jfmc
  0

• ISO core standard compatibility of Ciao WASM

  #53 opened 2 years ago by Jean-Luc-Picard-2021
  3

• ensure_datadir/2 fails for non-local installation of Ciao

  #50 opened 3 years ago by ony
  2

• Errors while compiling in Termux

  #49 opened 3 years ago by llsant
  1

• Tests fail at `append(X2,_,_1)` and `atom_concat(_1,_)`

  #42 opened 3 years ago by AlbertoGP
  2

• Support ppc64le CPU architecture

  #41 opened 3 years ago by AlbertoGP
  8

• Error 404 on URL

  #46 opened 3 years ago by marclajoie123
  1