Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
GNU Lesser General Public License v3.0
268
stars
20
forks
source link
Declare loaddefs-generate-batch when missing (emacs version < 29.0) #87
Closed
thierrymarianne closed 6 months ago
Please see https://github.com/ciao-lang/ciao/issues/86
Tested with