]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95b3114) | patch
Add Machine::run_input_once() which reads one goal from user input and runs it
authorNicolas Luck <[email protected]>
Tue, 11 Jul 2023 12:24:30 +0000 (14:24 +0200)
committerNicolas Luck <[email protected]>
Tue, 11 Jul 2023 12:24:30 +0000 (14:24 +0200)
commit112d398175f244d1fbf5190c1f128b55beadf71c
treea3e9833aae1dc1cabde5e3bb91e8563f7cd2d3d9tree | snapshot
parent95b31146b58f2bae0e15b057321e4c194174cd92commit | diff
Add Machine::run_input_once() which reads one goal from user input and runs it
src/machine/mod.rs diff | blob | history
src/toplevel.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust