Further ~? tweaking

This commit is contained in:
Anton Dyudin 2015-01-14 15:18:03 -08:00
parent 1e30a55ad9
commit e4945f22e6

View File

@ -6463,10 +6463,10 @@
::
[%sgts *] [%sggr [%germ p.gen] q.gen]
[%sgwt *]
:+ %tsls q.gen
:^ %wtdt [~ 2]
:+ %tsls [%wtdt q.gen [%bczp %null] [[%bczp %null] r.gen]]
:^ %wtsg [~ 2]~
[%tsgr [~ 3] s.gen]
[%sgpm p.gen r.gen [%tsgr [~ 3] s.gen]]
[%sgpm p.gen [~ 5] [%tsgr [~ 3] s.gen]]
[%smcl *]
?- q.gen
~ [%zpzp ~]