]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfe808a) | patch
remove subsumed case: F == Value means Arity =:= 0, now considered above
authorMarkus Triska <[email protected]>
Fri, 30 Jun 2023 16:02:43 +0000 (18:02 +0200)
committerMarkus Triska <[email protected]>
Fri, 30 Jun 2023 16:02:43 +0000 (18:02 +0200)
commita3f8ddd24a786e44d9c7183bb724e6d536d2bc9b
treeeaa98ab804c62ee8eb4a3c6ba26ffdb9fb55d1aatree | snapshot
parentbfe808a779252d98e23db1e5d4e0fa01a31ac625commit | diff
remove subsumed case: F == Value means Arity =:= 0, now considered above
src/toplevel.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust