]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d57f871) | patch
state when the predicates are true
authorMarkus Triska <[email protected]>
Thu, 2 Jan 2025 17:54:27 +0000 (18:54 +0100)
committerMarkus Triska <[email protected]>
Thu, 2 Jan 2025 17:54:27 +0000 (18:54 +0100)
commit28c386422b5087aa13148cdef3db3433d06b72ad
treeac9e2218d4cc694dcce05437a889982c19c83e12tree | snapshot
parentd57f871a12d394521db848d2a8de88648d969f7dcommit | diff
state when the predicates are true

"returns" is not used in this way in logic programming. "return"
suggests that something went away and is now coming back, but this is
never the case in these situations. The arguments may be variables or
also fully known at the time of the call in most cases.
src/lib/files.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust