]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2020-04-28 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-28 Mark Thomerase unnecessary stub from block of FileToChars commit | commitdiff | tree | snapshot
2020-04-28 Mark Thomdon't append lists of attributes when binding attribute... commit | commitdiff | tree | snapshot
2020-04-28 Mark Thommodify domain.pl example (#347) commit | commitdiff | tree | snapshot
2020-04-27 Mark ThomMerge pull request #409 from triska/clp commit | commitdiff | tree | snapshot
2020-04-27 Markus Triska`if_` --> `if_/3` commit | commitdiff | tree | snapshot
2020-04-27 Markus Triskaadd more information about Constraint Logic Programming... commit | commitdiff | tree | snapshot
2020-04-27 Mark ThomMerge pull request #408 from triska/master commit | commitdiff | tree | snapshot
2020-04-27 Markus Triskainclude the new library(random) in the overview commit | commitdiff | tree | snapshot
2020-04-27 Markus Triskause new predicates from library(error) commit | commitdiff | tree | snapshot
2020-04-27 Markus TriskaADDED: library(error): instantiation_error/1, domain_er... commit | commitdiff | tree | snapshot
2020-04-27 Markus Triskainclude usage advice about probabilistic predicates commit | commitdiff | tree | snapshot
2020-04-27 Mark ThomMerge pull request #406 from notoria/random commit | commitdiff | tree | snapshot
2020-04-27 Mark Thompublish bimetatrans_ruleml_tests, move both files to... commit | commitdiff | tree | snapshot
2020-04-27 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-26 notoriaAdded predicate random_integer and updated clpb commit | commitdiff | tree | snapshot
2020-04-26 notoriaCreated the library random and moved some predicates... commit | commitdiff | tree | snapshot
2020-04-26 Mark ThomMerge pull request #405 from triska/master commit | commitdiff | tree | snapshot
2020-04-26 Markus Triskaadd library(cont) to the list commit | commitdiff | tree | snapshot
2020-04-26 Markus Triskaadd more information about tabling commit | commitdiff | tree | snapshot
2020-04-26 Mark ThomMerge pull request #402 from notoria/pio commit | commitdiff | tree | snapshot
2020-04-26 notoriaSmall patch for library pio commit | commitdiff | tree | snapshot
2020-04-26 Mark ThomMerge pull request #399 from notoria/debug commit | commitdiff | tree | snapshot
2020-04-26 notoriaImplemented the Debug trait for all data structures commit | commitdiff | tree | snapshot
2020-04-25 Mark ThomMerge pull request #398 from triska/master commit | commitdiff | tree | snapshot
2020-04-25 Mark Thomuse proper module name in bimetatrans_ruleml commit | commitdiff | tree | snapshot
2020-04-25 Markus Triskainclude library(pio) and library(charsio) in the descri... commit | commitdiff | tree | snapshot
2020-04-25 Markus Triskaupdate toplevel interaction commit | commitdiff | tree | snapshot
2020-04-25 Markus TriskaENHANCED: Throw domain errors in char_type/2 for wrong... commit | commitdiff | tree | snapshot
2020-04-25 Markus Triskause an anonymous variable commit | commitdiff | tree | snapshot
2020-04-25 Mark ThomMerge pull request #396 from notoria/phrase_from_file commit | commitdiff | tree | snapshot
2020-04-25 notoriaNo trimming of the buffer commit | commitdiff | tree | snapshot
2020-04-25 notoriaImplemented phrase_from_file/2 and /2 commit | commitdiff | tree | snapshot
2020-04-25 Mark ThomMerge pull request #391 from notoria/msb_lsb2 commit | commitdiff | tree | snapshot
2020-04-24 notoriaImplemented lsb/2 and msb/2 commit | commitdiff | tree | snapshot
2020-04-24 Mark ThomMerge pull request #380 from notoria/char_type commit | commitdiff | tree | snapshot
2020-04-23 notoriaImplementation of the predicate char_type for a subset commit | commitdiff | tree | snapshot
2020-04-22 notoriaDraft of an implementation of char_type commit | commitdiff | tree | snapshot
2020-04-22 Mark ThomMerge pull request #381 from triska/master commit | commitdiff | tree | snapshot
2020-04-21 Markus TriskaADDED: library(format) now provides a rudimentary versi... commit | commitdiff | tree | snapshot
2020-04-20 Mark ThomMerge pull request #377 from triska/master commit | commitdiff | tree | snapshot
2020-04-20 Markus Triskaportray_clause/1 now correctly tracks variable names... commit | commitdiff | tree | snapshot
2020-04-20 Mark ThomMerge pull request #375 from notoria/sleep commit | commitdiff | tree | snapshot
2020-04-20 Mark Thomspeed unification of pairs of partial strings commit | commitdiff | tree | snapshot
2020-04-20 Mark Thomchange CPU_now to CpuNow commit | commitdiff | tree | snapshot
2020-04-20 Mark Thomcheck for num in comparisons, bump num-rug-adapter... commit | commitdiff | tree | snapshot
2020-04-20 notoriaCorrected the error being thrown by sleep/1 commit | commitdiff | tree | snapshot
2020-04-20 notoriaChanged the error being thrown by sleep/1 commit | commitdiff | tree | snapshot
2020-04-20 Mark ThomMerge pull request #371 from notoria/sleep commit | commitdiff | tree | snapshot
2020-04-20 Mark Thomdo casts between different arithmetic types for compari... commit | commitdiff | tree | snapshot
2020-04-20 Mark Thomspeed comparisons of partial strings commit | commitdiff | tree | snapshot
2020-04-20 Mark Thomuse default machine policies in term expansions commit | commitdiff | tree | snapshot
2020-04-19 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-19 Mark Thomupdate toplevel comments, add mutable stack to zipped... commit | commitdiff | tree | snapshot
2020-04-19 notoriaUndo a workaround commit | commitdiff | tree | snapshot
2020-04-19 notoriaCorrected bound commit | commitdiff | tree | snapshot
2020-04-19 notoriaMerge pull request #3 from triska/sleep commit | commitdiff | tree | snapshot
2020-04-19 notoriaThrown an error if T < 0 or T > 0xfffffffffffffbff... commit | commitdiff | tree | snapshot
2020-04-19 Markus Triskaupdate comment commit | commitdiff | tree | snapshot
2020-04-19 notoriaAdded the sleep predicate commit | commitdiff | tree | snapshot
2020-04-19 Mark ThomMerge pull request #370 from triska/master commit | commitdiff | tree | snapshot
2020-04-19 Markus TriskaENHANCED: time(Goal) now also reports the time if Goal... commit | commitdiff | tree | snapshot
2020-04-19 Mark ThomMerge pull request #367 from triska/master commit | commitdiff | tree | snapshot
2020-04-19 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-19 Mark Thomthrow '' whenever an interrupt is made (#365, #366) commit | commitdiff | tree | snapshot
2020-04-19 Markus Triskaadd entry for time/1 commit | commitdiff | tree | snapshot
2020-04-19 Markus Triskaupdate answer to use the latest toplevel improvements commit | commitdiff | tree | snapshot
2020-04-19 Markus TriskaADDED: library(time), providing time/1 for benchmarking commit | commitdiff | tree | snapshot
2020-04-19 Mark ThomMerge pull request #364 from triska/master commit | commitdiff | tree | snapshot
2020-04-19 Markus TriskaRestore the type_error, which was implemented correctly... commit | commitdiff | tree | snapshot
2020-04-18 Markus Triskadocument ~| format modifier to place a tab stop at... commit | commitdiff | tree | snapshot
2020-04-18 Mark ThomMerge pull request #363 from triska/master commit | commitdiff | tree | snapshot
2020-04-19 Mark Thomremove SCCCutPolicy panic, revise (;)/2 so that comma... commit | commitdiff | tree | snapshot
2020-04-19 Mark Thomdrop $ naming convention inside '' when unnecessary commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomuse correct signs in fixnum remainders commit | commitdiff | tree | snapshot
2020-04-18 Markus Triskause the most recent improvements commit | commitdiff | tree | snapshot
2020-04-18 Markus TriskaENHANCED: Delay toplevel output until after the goal... commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomadd domain and type errors for compare/3 (#296) commit | commitdiff | tree | snapshot
2020-04-18 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-18 Markus Triskareintroduce "n" as a synonym for ";" and " " commit | commitdiff | tree | snapshot
2020-04-18 Markus TriskaENHANCED: the toplevel interaction now supports RETURN... commit | commitdiff | tree | snapshot
2020-04-18 Markus Triskasmall simplifications commit | commitdiff | tree | snapshot
2020-04-18 notoriaRemoved a check in get_single_char commit | commitdiff | tree | snapshot
2020-04-18 notoriaAdded Space for continuation commit | commitdiff | tree | snapshot
2020-04-18 notoriaFixed the predicate name when error is thrown commit | commitdiff | tree | snapshot
2020-04-18 Markus Triskainstead of a type error, use a domain error commit | commitdiff | tree | snapshot
2020-04-18 Markus Triskause get_single_char/1 commit | commitdiff | tree | snapshot
2020-04-18 notoriaRemoved $raw_input_read_char commit | commitdiff | tree | snapshot
2020-04-18 notoriaget_single_char reads Tab as \t commit | commitdiff | tree | snapshot
2020-04-18 notoriaget_single_char reads Enter as \n commit | commitdiff | tree | snapshot
2020-04-18 notoriaMoved get_single_char from builtins.pl to charsio.pl commit | commitdiff | tree | snapshot
2020-04-18 notoriaAdded predicate for reading a single character commit | commitdiff | tree | snapshot
2020-04-18 Mark Thombracket graphic token chars in toplevel.pl (#357) commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomslight tweaks to bimetatrans commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomindex Constant::Usize (#355) commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomquote single dots only commit | commitdiff | tree | snapshot
2020-04-18 Markus TriskaADDED: list_to_set/2, using the first occurrence of... commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomallow characters as atoms in Machine::use_module and... commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomremove underscores in printed variables produced by... commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomdon't count the terminator in PStrIter len commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust