]> 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-29 Mark ThomMerge pull request #417 from notoria/mediants commit | commitdiff | tree | snapshot
2020-04-29 notoriaAdd rational_numerator_denominator/3, number_to_rationa... commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomuse select to filter variable lists when printing equat... commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomselect variable names in write_eq based on whether... commit | commitdiff | tree | snapshot
2020-04-29 notoriaRemoved predicate mediants/2 and added stern_brocot/3 commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomcorrect answer substitution order, equating variables... commit | commitdiff | tree | snapshot
2020-04-29 notoriaImplemented predicate mediants/2 with Stern-Brocot... commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomcheck that lower bound on term expansion drain is below... commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomprint rational numbers using the rdiv operator when... commit | commitdiff | tree | snapshot
2020-04-28 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-28 Mark Thomdo length check in PartialString::range_from (#412) commit | commitdiff | tree | snapshot
2020-04-28 Mark ThomMerge pull request #414 from triska/master commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskamention portray_clause/1 and listing/1 commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskamention backtrackable and non-backtrackable global... commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskause new nth0/3 from library(lists) commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskause singleton variable, correct a mistake in maplist/8 commit | commitdiff | tree | snapshot
2020-04-28 Markus TriskaADDED: nth0/3, relating indices to list elements commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskasmall typographic corrections commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskause new predicates from library(error) to throw type... commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust