0
I Use This!
Inactive

Commits : Listings

Analyzed about 7 hours ago. based on code collected 1 day ago.
Mar 28, 2023 — Mar 28, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Minor changes to the verdi_neruda contribution to avoid a warning and a syntax error when using SICStus Prolog as the back-end compiler More... about 10 years ago
Add option "exit" to the shell to exit and return to the top-level interpreter. More... over 10 years ago
Prettified the output from benchmark_all. More... almost 14 years ago
Removed unused SCRIPTS.txt file. Added info/1 directives to the sample database objects. More... almost 14 years ago
Fixed the special case when there are no unifiers to print. More... almost 14 years ago
The shell now prints the bindings that were made during a proof instead of the goal. More... almost 14 years ago
First pass at supporting variable names in commands for pretty output. Not tested. More... almost 14 years ago
Changed the init in the shell. More... almost 14 years ago
Minor documentation to the a* and iddfs interpreters. More... almost 14 years ago
Fixed the benchmark_all command. More... almost 14 years ago
Minor clarification to the Logtalk version requirements. More... almost 14 years ago
Merge branch 'master' of github.com:Joelbyte/verdi-neruda More... almost 14 years ago
Added support for default parameter values to the iddfs and a* interpreters. More... almost 14 years ago
Improved the readme. More... almost 14 years ago
Changed the version number in counter.lgt. More... almost 14 years ago
Fixed a bug in counter.lgt. More... almost 14 years ago
Changed the version number to the lowly 0.1 to 1.0 and improved the readme. More... almost 14 years ago
Turn off informational messages when using SICStus Prolog 4.x as the back-end compiler. More... almost 14 years ago
Fixed a minor bug in one of the benchmark databases. More... almost 14 years ago
Some more changes to README.txt. More... almost 14 years ago
Fixed minor formatting issues and typos in the README.txt file. More... almost 14 years ago
Added line breaks to the examples section in the readme. I heard they are great! More... almost 14 years ago
Improved README.txt. More... almost 14 years ago
Improved user interaction when asking for more solutions while using prove commands. More... almost 14 years ago
Minor changes to workaround portability issues with Qu-Prolog and XSB. More... almost 14 years ago
Removed discontinous and dynamic directives. More... almost 14 years ago
Added conditional compilation for some shell commands. More... almost 14 years ago
Partitioned the database into a set of bench_*.lgt files and fixed som minor bugs in shell.lgt. More... almost 14 years ago
Calls to built-in predicates now use the syntax {Call}. It is no longer necessary to explicitly declare built-in predicates. More... almost 14 years ago
Added a default, demo database. More... almost 14 years ago