]> 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-05-13 Mark Thomreturn true on unmatching partial strings in eq_test... commit | commitdiff | tree | snapshot
2020-05-11 Mark Thomreset current input in ReadQueryTerm commit | commitdiff | tree | snapshot
2020-05-11 Mark Thomrecord names of variables at root in write_term_to_heap... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomfix at_end_of_stream/1 (#479) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomchange VarNames to VNNames (#476) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomuse heap_pstr_iter in AtomChars (#482) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomset past end of stream, set Byte to -1, Char and Code... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomderef addr's in list of atom_codes (#484) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomcorrect failed partial string matching (#483) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomeliminate duplicates in term_variables/2, term_attribut... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomfix position property in stream_property/2 (#477) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomplace cut after infinitely expanding VarList in write_t... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomchange wrong at_end_of_stream value 'end' to 'at' ... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomdetect source_sink domain error in open/4 (#480) commit | commitdiff | tree | snapshot
2020-05-10 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomincrease prolog_parser version commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge pull request #475 from notoria/debug commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomhalt on Ctrl-D in toplevel (#473) commit | commitdiff | tree | snapshot
2020-05-09 notoriaRemoved the warnings commit | commitdiff | tree | snapshot
2020-05-09 notoriaImplemented Debug for the new data structures commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge branch 'sockets-develop' commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomupdate README.md commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomadd set_stream_position/2 commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge pull request #474 from triska/radix commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge pull request #471 from triska/master commit | commitdiff | tree | snapshot
2020-05-09 Markus TriskaADDED: ~Nr and ~NR are now available for radix conversions commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomadd at_end_of_stream/{0,1} commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomcarry past_end_of_stream in WrappedStreamInstance commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomadd stream_property/2 commit | commitdiff | tree | snapshot
2020-05-08 Markus TriskaADDED: Initial version of library(crypto). commit | commitdiff | tree | snapshot
2020-05-07 Mark ThomMerge pull request #468 from notoria/cont commit | commitdiff | tree | snapshot
2020-05-07 notoriaEnhanced shift/1 commit | commitdiff | tree | snapshot
2020-05-06 Mark Thomadd peek_char/{1,2}, peek_byte/{1,2}, peek_code/{1,2} commit | commitdiff | tree | snapshot
2020-05-06 Mark Thomadd sockets library, use new type_error function from... commit | commitdiff | tree | snapshot
2020-05-06 Mark Thomadd put_code/{1,2}, get_code/{1,2}, improve get_* predi... commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomadd put_byte/{1,2}, put_char/{1,2} commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomcleanup on reading predicates, add get_char/{1,2} commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomclean up stream error handling, add get_byte/{1,2} commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomchange EOFCode eof_action from end_of_stream to end_of_... commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomadd flush_output/{0,1}, past_end_of_stream commit | commitdiff | tree | snapshot
2020-05-05 Mark ThomMerge pull request #460 from notoria/get_single_char commit | commitdiff | tree | snapshot
2020-05-05 notoriaFixed ctrl-c issue with get_single_char/1 commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomadd close/{1,2}, better EOF action handling in read_term commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomadapt write_term family, add handling for EOF actions. commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomadd open/3, write_term/3 commit | commitdiff | tree | snapshot
2020-05-04 Mark ThomMerge pull request #453 from triska/master commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomtest commit | commitdiff | tree | snapshot
2020-05-04 Markus Triskadisable goal expansion until #445 is resolved commit | commitdiff | tree | snapshot
2020-05-04 Mark Thommerge commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomimprove answer substitutions at top-level commit | commitdiff | tree | snapshot
2020-05-04 Mark ThomMerge branch 'master' into sockets-develop commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomimprove answer substitutions at top-level commit | commitdiff | tree | snapshot
2020-05-04 Mark Thommerge with master commit | commitdiff | tree | snapshot
2020-05-04 Mark Thommake term{_attributed_}variables/2 order {attributed... commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomMerge pull request #450 from triska/master commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomuse select/3 in gather_equations for detecting whether... commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomuse copy_term/3 as source of attribute goals commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomrestore previous focus upon character match failure... commit | commitdiff | tree | snapshot
2020-05-03 Markus Triskado not project queue/2 attributes to residual goals commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomMerge pull request #449 from notoria/read commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomversion bump for prolog_parser commit | commitdiff | tree | snapshot
2020-05-03 notoriaCompleted read/1, ctrl-d is end_of_file commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomuse complete strings in FileToChars (#430) commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomProject goals of query variables (#362) commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomwrap support code in modules commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomadd term_attributed_variables/2 (#422) commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge pull request #443 from notoria/arithmetic commit | commitdiff | tree | snapshot
2020-05-02 notoriaImplemented expmod/4 commit | commitdiff | tree | snapshot
2020-05-02 Mark Thomremove now unnecessary dependencies, correct ordering... commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge pull request #440 from notoria/arithmetic commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge pull request #439 from notoria/cli2 commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-02 Mark Thomcut after compound check in (;)/2 only after semicolon_... commit | commitdiff | tree | snapshot
2020-05-02 Mark Thominsert cuts where needed into (;)/3 (#434) commit | commitdiff | tree | snapshot
2020-05-02 notoriaEnhanced number_to_rational/2 and number_to_rational/3 commit | commitdiff | tree | snapshot
2020-05-02 notoriaAdded $scryer_prolog_version/1 commit | commitdiff | tree | snapshot
2020-05-01 notoriaEnhanced command line commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge pull request #437 from triska/master commit | commitdiff | tree | snapshot
2020-05-01 Markus Triskause ℤ commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge pull request #436 from mthom/revert-419-cli commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomRevert "Enhanced command line" revert-419-cli origin/revert-419-cli commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge pull request #419 from notoria/cli commit | commitdiff | tree | snapshot
2020-05-01 Mark Thomaccept any and all characters in comment chars commit | commitdiff | tree | snapshot
2020-05-01 notoriaEnhanced command line #2 commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge pull request #432 from triska/master commit | commitdiff | tree | snapshot
2020-05-01 Mark Thomcorrect failing character match in compare_pstr_to_stri... commit | commitdiff | tree | snapshot
2020-05-01 Markus Triskacorrect overeager CLP(ℤ) goal expansion commit | commitdiff | tree | snapshot
2020-05-01 notoriaEnhanced version commit | commitdiff | tree | snapshot
2020-05-01 notoriaEnhanced command line commit | commitdiff | tree | snapshot
2020-05-01 Mark Thommap single character atoms down to characters in consta... commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-01 Mark Thomuse slightly better names in indexing functions commit | commitdiff | tree | snapshot
2020-04-30 Mark Thomonly add expanded goals to dynamic clause code (#416) commit | commitdiff | tree | snapshot
2020-04-30 Mark Thomcorrect queue_len += queue_len; to queue_len += queue... commit | commitdiff | tree | snapshot
2020-04-30 Mark ThomMerge pull request #425 from triska/master commit | commitdiff | tree | snapshot
2020-04-30 Markus Triskaenable goal expansion for CLP(ℤ) goals commit | commitdiff | tree | snapshot
2020-04-30 Mark Thomindex atoms with operators against the same atom with... commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust