]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cae0733) | patch
ADDED: library(time), providing time/1 for benchmarking
authorMarkus Triska <[email protected]>
Sun, 19 Apr 2020 17:13:27 +0000 (19:13 +0200)
committerMarkus Triska <[email protected]>
Sun, 19 Apr 2020 17:18:47 +0000 (19:18 +0200)
commit4693c23a4970cdc3437d75b1e61df768282b48fa
tree1124ed76b50f6849bbe2d92db99a6a7e91efbd25tree | snapshot
parentcae073314909caf07fe043c8f6dc85156d38bc10commit | diff
ADDED: library(time), providing time/1 for benchmarking

sleep/1 and predicates for reasoning about time stamps should also
be added to this library.
Cargo.lock diff | blob | history
Cargo.toml diff | blob | history
src/prolog/clause_types.rs diff | blob | history
src/prolog/lib/time.pl [new file with mode: 0644] blob
src/prolog/machine/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust