]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4953cfd) | patch
constrain bracketing to operators with pertaining arity
authorMarkus Triska <[email protected]>
Fri, 30 Jun 2023 16:01:17 +0000 (18:01 +0200)
committerMarkus Triska <[email protected]>
Fri, 30 Jun 2023 16:01:17 +0000 (18:01 +0200)
commit28065b0565ec9ec50b8802e5eddf7575533182a3
tree4136bb36bd7c00241a0277c43b201cb4c8d0e3d2tree | snapshot
parent4953cfd10ed87df3398b052356ccfb2af3ff19d5commit | diff
constrain bracketing to operators with pertaining arity

Example:

    ?- X = -->(a,b,c).
       X = -->(a,b,c).
src/toplevel.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust